diff options
| author | thecharlesblake | 2018-09-02 21:47:32 +0100 |
|---|---|---|
| committer | thecharlesblake | 2018-09-02 21:47:32 +0100 |
| commit | dba58c016a4305b73b6475588f94a66dd55ad969 (patch) | |
| tree | 462cc3335dc3adaa8c7efc29cef6a580e62475bc | |
| parent | Remove extra comma when streamliner solves (diff) | |
| download | metasol-dba58c016a4305b73b6475588f94a66dd55ad969.tar.gz metasol-dba58c016a4305b73b6475588f94a66dd55ad969.zip | |
Change first comma to bar on output
| -rw-r--r-- | src/main/solver/solver.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/solver/solver.cpp b/src/main/solver/solver.cpp index 0d3f4ed..1d0130c 100644 --- a/src/main/solver/solver.cpp +++ b/src/main/solver/solver.cpp @@ -286,7 +286,7 @@ void solver::print_header(long t, command_line_helper::streamliner_opt stream_op } void solver::print_result_csv(solver::result res) { - cout << ", " << res.sol_type + cout << "| " << res.sol_type << ", " << res.time.count() << ", " << res.states_searched << ", " << res.unique_states_searched @@ -300,7 +300,7 @@ void solver::print_result_csv(solver::result res) { } void solver::print_null_seed_info() { - cout << ", , , , , , , , , , , "; + cout << "| , , , , , , , , , , "; } const vector<solver::node> solver::get_frontier() const { |