chiark / gitweb /
break out set_best
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Mar 2014 22:05:58 +0000 (22:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Mar 2014 22:05:58 +0000 (22:05 +0000)
main.c

diff --git a/main.c b/main.c
index 6902365..fd0569b 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);