test:String -> (a -> b) -> (a -> b) -> Investigator a -> Int -> Seed -> Test
Analogous to claim. Will generate a given number of unit tests for given
actual and expected statements. If a unit tests fails, test will also generate
an additional test representing a minimal input using shrinking.
assert:String -> (a -> Bool) -> Investigator a -> Int -> Seed -> Test
Assert that a given predicate always yields true for a given investigator.
Analogous to claimTrue.
Analogous to
claim. Will generate a given number of unit tests for given actual and expected statements. If a unit tests fails,testwill also generate an additional test representing a minimal input using shrinking.