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
(parent:
e898885
)
break out set_best
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Mar 2014 22:05:58 +0000
(22:05 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Mar 2014 22:05:58 +0000
(22:05 +0000)
main.c
patch
|
blob
|
history
diff --git
a/main.c
b/main.c
index 69023658988f0526de782d0ea25a51b54e092a10..fd0569be80e712602988a5f79207b77bcb45ff5b 100644
(file)
--- a/
main.c
+++ b/
main.c
@@
-107,6
+107,10
@@
static void progress_eol(void) {
fflush(stderr);
}
+static void set_best(double new_best) {
+ best = new_best;
+}
+
/*----- multicore support -----*/
/*
@@
-309,7
+313,7
@@
static void multicore_check_for_new_best(void) {
if (!got) break;
assert(got == sizeof(msg));
if (msg > best)
-
best = msg
;
+
set_best(msg)
;
mc_bus_read += sizeof(msg);
}
}
@@
-555,7
+559,7
@@
static void optimise(bool doprint) {
HAVE_PRINTED;
-
best = got
;
+
set_best(got)
;
multicore_found_new_best();
if (best_prob) glp_delete_prob(best_prob);