generalize counter-examples of test properties
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.