Increase the default SMT timeout/retry limits (#3645)

goodlyrottenapple · web-flow · commit 1da6c43b8bb7 · 2023-08-24T03:03:02.000-06:00
Fixes #3643 Increase the default SMT timeout limit to 125 and number of re-tries to 3
diff --git a/kore/src/SMT.hs b/kore/src/SMT.hs
@@ -441,8 +441,8 @@ defaultConfig =
             ]
         , prelude = Prelude Nothing
         , logFile = Nothing
-        , timeOut = TimeOut (Limit 40)
-        , retryLimit = RetryLimit (Limit 1)
+        , timeOut = TimeOut (Limit 125)
+        , retryLimit = RetryLimit (Limit 3)
         , rLimit = RLimit Unlimited
         , resetInterval = ResetInterval 100
         }

Original file line number	Diff line number	Diff line change
`@@ -441,8 +441,8 @@ defaultConfig =`
`441`	`441`	`]`
`442`	`442`	`, prelude = Prelude Nothing`
`443`	`443`	`, logFile = Nothing`
`444`		`- , timeOut = TimeOut (Limit 40)`
`445`		`- , retryLimit = RetryLimit (Limit 1)`
	`444`	`+ , timeOut = TimeOut (Limit 125)`
	`445`	`+ , retryLimit = RetryLimit (Limit 3)`
`446`	`446`	`, rLimit = RLimit Unlimited`
`447`	`447`	`, resetInterval = ResetInterval 100`
`448`	`448`	`}`