WIP: turn off shrinking for prop_noSwallowedExceptions to prevent timeout

jorisdral · jorisdral · commit b9f207959bf1 · 2025-07-08T23:28:44.000+02:00
diff --git a/test/Test/Database/LSMTree/StateMachine/DL.hs b/test/Test/Database/LSMTree/StateMachine/DL.hs
@@ -39,7 +39,8 @@ import           Test.Util.PrettyProxy
 tests :: TestTree
 tests = testGroup "Test.Database.LSMTree.StateMachine.DL" [
       QC.testProperty "prop_example" prop_example
-    , QC.testProperty "prop_noSwallowedExceptions" prop_noSwallowedExceptions
+    , QC.testProperty "prop_noSwallowedExceptions" $
+        noShrinking prop_noSwallowedExceptions
     ]
 
 instance DynLogicModel (Lockstep (ModelState IO R.Table))

Original file line number	Diff line number	Diff line change
`@@ -39,7 +39,8 @@ import Test.Util.PrettyProxy`
`39`	`39`	`tests :: TestTree`
`40`	`40`	`tests = testGroup "Test.Database.LSMTree.StateMachine.DL" [`
`41`	`41`	`QC.testProperty "prop_example" prop_example`
`42`		`- , QC.testProperty "prop_noSwallowedExceptions" prop_noSwallowedExceptions`
	`42`	`+ , QC.testProperty "prop_noSwallowedExceptions" $`
	`43`	`+ noShrinking prop_noSwallowedExceptions`
`43`	`44`	`]`
`44`	`45`
`45`	`46`	`instance DynLogicModel (Lockstep (ModelState IO R.Table))`