You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's a testProperty, which uses check', but nothing exposing checkFor. Something like this:
--| Like testProperty, but takes a number of cases to check.---- The maximum number of cases tried by @testPropertyFor n m@ will be @n * m@.testPropertyFor:: (R.Testablep, R.Listable (R.Xp), Eq (R.Xp), Show (R.Xp), Show (R.Op))
=>Int--^ Number of seed values per variable-assignment.->Int--^ Number of variable assignments.->String--^ The name of the test.->p--^ The property to check.->Test
The text was updated successfully, but these errors were encountered:
There's a
testProperty
, which usescheck'
, but nothing exposingcheckFor
. Something like this:The text was updated successfully, but these errors were encountered: