optim:re-set timelimit when trying to find a better min in other bran…

…ches
OCamlPro · Oct 4, 2023 · ad83005 · ad83005
1 parent c203ad1
commit ad83005
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1097,6 +1097,9 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
              issue.@.@.";
           assert false
         end;
+        let is_gui = Options.get_is_gui() in
+        Options.Time.unset_timeout ~is_gui;
+        Options.Time.set_timeout ~is_gui (Options.get_timelimit ());
         unsat_rec_prem env ~first_call:false
     end