chiark
/
gitweb
/
~ianmdlvl
/
matchsticks-search.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
break out set_best
[matchsticks-search.git]
/
main.c
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);
}
fflush(stderr);
}
+static void set_best(double new_best) {
+ best = new_best;
+}
+
/*----- multicore support -----*/
/*
/*----- multicore support -----*/
/*
@@
-309,7
+313,7
@@
static void multicore_check_for_new_best(void) {
if (!got) break;
assert(got == sizeof(msg));
if (msg > best)
if (!got) break;
assert(got == sizeof(msg));
if (msg > best)
-
best = msg
;
+
set_best(msg)
;
mc_bus_read += sizeof(msg);
}
}
mc_bus_read += sizeof(msg);
}
}
@@
-555,7
+559,7
@@
static void optimise(bool doprint) {
HAVE_PRINTED;
HAVE_PRINTED;
-
best = got
;
+
set_best(got)
;
multicore_found_new_best();
if (best_prob) glp_delete_prob(best_prob);
multicore_found_new_best();
if (best_prob) glp_delete_prob(best_prob);