Test: stress test combinator.

This commit is contained in:
Andor Penzes 2018-03-20 23:32:20 +01:00
parent a003de4860
commit b1c60cf859

View File

@ -61,7 +61,7 @@ stressTest
-> (TypeEnv, Exp)
-> (TypeEnv, Exp)
-> Spec
stressTest f before after = it "Random context" $ forAllShrink (listOf1 arbitrary) shrink $ \ctx ->
stressTest f before after = it "Stress test" $ forAllShrink (listOf1 arbitrary) shrink $ \ctx ->
let c = createExpr ctx
in (f (c before)) == (c after)