We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
prop_noSwallowedExceptions
1 parent 9795cd5 commit d10d381Copy full SHA for d10d381
test/Test/Database/LSMTree/StateMachine/DL.hs
@@ -39,7 +39,12 @@ import Test.Util.PrettyProxy
39
tests :: TestTree
40
tests = testGroup "Test.Database.LSMTree.StateMachine.DL" [
41
QC.testProperty "prop_example" prop_example
42
- , QC.testProperty "prop_noSwallowedExceptions" prop_noSwallowedExceptions
+ , QC.testProperty "prop_noSwallowedExceptions" $
43
+ -- TODO: see #781. I observed a timeout when this test was running,
44
+ -- which might have to do with shrinking taking too long. For now, we'll
45
+ -- turn off shrinking until we see a test failure that might explain
46
+ -- what's going wrong.
47
+ noShrinking prop_noSwallowedExceptions
48
]
49
50
instance DynLogicModel (Lockstep (ModelState IO R.Table))
0 commit comments