Merge pull request #7485 from peterschrammel/solver-stats-stop-on-fail

Output solver stats on --stop-on-fail

Author: peterschrammel

regression/solver-hardness/solver-hardness-simple/test.desc

@@ -1,9 +1,8 @@
 CORE
 main.c
---write-solver-stats-to 'solver_hardness.json'
+--write-solver-stats-to 'solver_hardness.json' --stop-on-fail
 ^EXIT=10$
 ^SIGNAL=0$
-^\[main.assertion.\d+\] line \d+ assertion a \+ b \< 10: FAILURE$
 ^VERIFICATION FAILED$
 \"SAT_hardness\":\{(\"ClauseSet\":\[.*\]|\"Clauses\":\d+|\"Variables\":\d+|\"Literals\":\d+),(\"ClauseSet\":\[.*\]|\"Clauses\":\d+|\"Variables\":\d+|\"Literals\":\d+),(\"ClauseSet\":\[.*\]|\"Clauses\":\d+|\"Variables\":\d+|\"Literals\":\d+),(\"ClauseSet\":\[.*\]|\"Clauses\":\d+|\"Variables\":\d+|\"Literals\":\d+)\}
 --

src/goto-checker/stop_on_fail_verifier.h

@@ -71,6 +71,7 @@ class stop_on_fail_verifiert : public goto_verifiert
       report_error(ui_message_handler);
       break;
     }
+    incremental_goto_checker.report();
   }
 
 protected: