rudymatela extrapolate issues - Githubissues

rudymatela / extrapolate

generalize counter-examples of property-based testing

BSD 3-Clause "New" or "Revised" License

13 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

source-repository entries refer to speculate

#5 barrucadu closed 6 years ago
1
Inconsistent generalizations for `[Int]` and `[Bool]`

#4 rudymatela opened 7 years ago
2
Not the most general generalization?

#3 rudymatela closed 7 years ago
3
Fix weird behaviour when dealing with datatypes following an invariant

#2 rudymatela opened 7 years ago
1
Test suite `derive` failed to build on Stackage nightly

#1 mihaimaruseac closed 7 years ago
3