extrapolate

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.