data Result | |
= Success -- In case of success, no additional information | |
| Failure { | |
seed :: Int, -- The seed used to generate the counter example | |
counterExample :: [String] -- The counter example (failing inputs to string) | |
} deriving (Show, Eq, Ord) -- Useful instances to print and compare Results |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment