aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCharlie Blake2018-08-09 19:57:27 +0100
committerCharlie Blake2018-08-09 19:59:11 +0100
commita98f052c0de54c5eccfd3a2eb964f3fa0c8f9243 (patch)
treeb291edbc7c45a685f7eac8814b88fe1e3d052158
parentWrite results to independent files and combines (diff)
downloadmetasol-a98f052c0de54c5eccfd3a2eb964f3fa0c8f9243.tar.gz
metasol-a98f052c0de54c5eccfd3a2eb964f3fa0c8f9243.zip

Flushes output before and after results

-rw-r--r--src/main/main.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp
index ff03669..cb63634 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -136,6 +136,7 @@ void solve_game(const sol_rules& rules, command_line_helper& clh, optional<int>
solve_sol solution = solve_game(rules, timeout, clh.get_cache_capacity(), str_opt, seed, in_doc);
bool run_again = smart && solution.second.sol_type != solver::result::type::SOLVED;
+ cout.flush();
if (run_again)
if (!clh.get_classify()) cout << "Unsolvable using streamliner. Running again...\n";
optional<solve_sol> streamliner_solution = run_again
@@ -163,6 +164,7 @@ void solve_game(const sol_rules& rules, command_line_helper& clh, optional<int>
}
cout << s.second;
}
+ cout.flush();
}
pair<solver, solver::result> solve_game(const sol_rules& rules, uint64_t timeout, uint64_t cache_capacity,