chiark
/
gitweb
/
~ianmdlvl
/
matchsticks-search.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
fd709c5
)
option for starting best value
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:22:29 +0000
(18:22 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:22:29 +0000
(18:22 +0000)
main.c
patch
|
blob
|
history
diff --git
a/main.c
b/main.c
index 0967442c5a425f5d7c414c39be6b971b571753fc..2c8edfedf37d53a34ac0e23c700c70c5be25b869 100644
(file)
--- a/
main.c
+++ b/
main.c
@@
-11,6
+11,7
@@
*
* Options:
* -j<jobs> run in parallel on <jobs> cores
+ * -b<best> search only for better than <best>
*/
/*
@@
-719,6
+720,7
@@
int main(int argc, char **argv) {
while ((opt = getopt(argc,argv,"j:")) >= 0) {
switch (opt) {
case 'j': ncpus = atoi(optarg); break;
+ case 'b': set_best(atof(optarg)); break;
case '+': assert(!"bad option");
default: abort();
}