hackage.haskell.org "counter-example-generalization" keyword
extrapolate 0.4.6
Extrapolate is a tool able to provide generalized counter-examples of test properties where irrel...16 versions - Latest release: over 4 years ago - 7 dependent repositories - 9.52 thousand downloads total - 13 stars on GitHub - 1 maintainer