1 result found Sort:

rudymatela
fitspec rudymatela
0
74
bsd-3-clause
12
refine properties for testing Haskell programs
leancheck mutation-testing property-testing enumerative-testing property-refinement property-based-testing
Created 2015-06-19
788 commits to master branch, last one 9 months ago