| Safe Haskell | None |
|---|
Test.SmartCheck.Extrapolate
Documentation
Arguments
| :: SubTypes a | |
| => ScArgs | Arguments |
| -> a | Current failed value |
| -> (a -> Property) | Original property |
| -> IO [Idx] |
Test d with arbitrary values replacing its children. For anything we get 100% failure for, we claim we can generalize it---any term in that hole fails.
We extrapolate if there exists at least one test that satisfies the precondition, and for all tests that satisfy the precondition, they fail.