pts icon indicating copy to clipboard operation
pts copied to clipboard

Published 20 hours ago • verified publisher icon Toxaris

Better test case generation

Open Toxaris opened this issue 11 years ago • 1 comments

Our test case generator is too stupid to check cool properties (see discussion of #23). We should write better Arbitrary instances. Maybe SmallCheck could also help?

Toxaris avatar Mar 08 '13 13:03 Toxaris

Additionally, I want to use QuickCheck's classify & Co. to verify whether good enough testcases are created (see discussion in #23).

Blaisorblade avatar Mar 12 '13 18:03 Blaisorblade