WIP: prop_noSwallowedExceptions

jorisdral · jorisdral · commit d48fa4a631f3 · 2025-07-08T13:02:39.000+02:00
diff --git a/test/Test/Database/LSMTree/StateMachine/DL.hs b/test/Test/Database/LSMTree/StateMachine/DL.hs
@@ -135,7 +135,7 @@ prop_noSwallowedExceptions :: QC.Fixed Salt -> Property
 prop_noSwallowedExceptions salt = forAllDL dl_noSwallowExceptions runner
   where
     -- disable all file system and reference checks
-    runner = propLockstep_RealImpl_MockFS_IO tr NoCheckCleanup NoCheckFS NoCheckRefs salt
+    runner = propLockstep_RealImpl_MockFS_IO tr CheckCleanup NoCheckFS CheckRefs salt
     tr = nullTracer
 
 -- | Run any number of actions using the default actions generator, and finally
