chiark / gitweb /
machinery for checking that our OUTER parallel iteration works - before we delete it
[moebius2.git] / minimise.h
index c2e13e7b40fef83169495c5b2754fc91333c90d1..cf450c248781d203d6b7fc58bd63ddea4135110d 100644 (file)
@@ -31,6 +31,10 @@ extern const char *input_file, *best_file;
 extern char *best_file_tmp;
 extern long long evaluations;
 extern double stop_epsilon;
+extern int quitting_last_iteration;
+
+#include <signal.h>
+extern sig_atomic_t quitting_reported_threads;
 
 enum printing_instance { pr_cost, pr_size, pr__max };
 int printing_check(enum printing_instance, int indent);