extrapolate (hackage): 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.
Keywords: bsd3|library|testing|counter-example-generalization|debugging|enumerative-testing|generalization|haskell|leancheck|property-based-testing|property-testing|testing-tools