From 924064628f76e33e0a83befc158d8a15e729b13e Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Wed, 29 Nov 2023 18:48:05 -0800
Subject: [PATCH] Use a 2s timeout for set-commands

---
 Data/SBV/SMT/SMT.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Data/SBV/SMT/SMT.hs b/Data/SBV/SMT/SMT.hs
index 6e90c5ed0..c8f5d434b 100644
--- 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"