extrapolate-0.0.1: generalize counter-examples of test properties

Index - M

mapTTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
matchTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
match2Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
matchListTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
matchWithTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
MaxConditionSizeTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
maxConditionSizeTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
MaxTestsTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
maxTestsTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
maybTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
mkEqnTyTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate