jlouis / positive

Check if a term is positive
MIT License
13 stars 3 forks source link

Not enough QuickCheck #14

Open dmitriid opened 8 years ago

dmitriid commented 8 years ago

I see that all the tests that exist so far are written by hand. Are you sure you covered all the fringe cases?

Please consider using QuickCheck for tests

jlouis commented 8 years ago

See #16 where we track the addition of a QuickCheck test case to the repository.