diff options
author | Charlie Blake | 2018-08-09 19:57:27 +0100 |
---|---|---|
committer | Charlie Blake | 2018-08-09 19:59:11 +0100 |
commit | a98f052c0de54c5eccfd3a2eb964f3fa0c8f9243 (patch) | |
tree | b291edbc7c45a685f7eac8814b88fe1e3d052158 | |
parent | Write results to independent files and combines (diff) | |
download | metasol-a98f052c0de54c5eccfd3a2eb964f3fa0c8f9243.tar.gz metasol-a98f052c0de54c5eccfd3a2eb964f3fa0c8f9243.zip |
Flushes output before and after results
-rw-r--r-- | src/main/main.cpp | 2 |
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, |