Fix for another issue I need to test my PR

Stevendeo · Apr 5, 2024 · a0f518e · a0f518e
1 parent a91b605
commit a0f518e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml
@@ -488,7 +488,10 @@ let main () =
       recoverable_error "%t" msg; st
     | Util.Timeout ->
       Printer.print_status_timeout None None None None;
-      exit_as_timeout ()
+      if (not(Options.get_timelimit_per_goal ())) then
+        exit_as_timeout ()
+      else
+        st
     | Errors.Error e ->
       recoverable_error "%a" Errors.report e;
       st