Hard reset in the beginning of isSat

runtimeverification · Aug 2, 2024 · 52daee1 · 52daee1
1 parent 30cf5fd
commit 52daee1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/booster/library/Booster/SMT/Interface.hs b/booster/library/Booster/SMT/Interface.hs
@@ -516,7 +516,9 @@ isSat ctxt psToCheck
         Log.withContext Log.CtxAbort $ Log.logMessage $ "SMT translation error: " <> errMsg
         pure . Left . SMTTranslationError $ errMsg
     | Right (smtToCheck, transState) <- translated = Log.withContext Log.CtxSMT $ do
-        evalSMT ctxt . runExceptT $ solve smtToCheck transState
+        evalSMT ctxt . runExceptT $ do
+            lift $ hardResetSolver ctxt.options
+            solve smtToCheck transState
   where
     translated :: Either Text ([DeclareCommand], TranslationState)
     translated =