hackage.haskell.org : extrapolate : 0.3.2

Extrapolate is a tool able to provide generalized counter-examples of test properties where irrelevant sub-expressions are replaces with variables. For the incorrect property \xs -> nub xs == (xs::[Int]): [0,0] is a counter-example; x:x:_ is a generalized counter-example.

Registry - Download - JSON - codemeta.json
purl: pkg:hackage/extrapolate@0.3.2
Published: over 7 years ago
Indexed: almost 4 years ago
Related tag: v0.3.2