Use a 2s timeout for set-commands

LeventErkok · Nov 30, 2023 · 9240646 · 9240646
1 parent b6cfa66
commit 9240646
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/SMT/SMT.hs b/Data/SBV/SMT/SMT.hs
@@ -743,7 +743,7 @@ runSolver cfg ctx execPath opts pgm continuation
                                 return collated
 
                       where safeGetLine isFirst h =
-                                         let timeOutToUse | isSetCommand mbCommand = Just 1000000
+                                         let timeOutToUse | isSetCommand mbCommand = Just 2000000
                                                           | isFirst                = mbTimeOut
                                                           | True                   = Just 5000000
                                              timeOutMsg t | isFirst = "User specified timeout of " ++ showTimeoutValue t ++ " exceeded"