extrapolate-0.4.6: generalize counter-examples of test properties

Index - S

setConsTest.Extrapolate.Core, Test.Extrapolate
setsOfTest.Extrapolate.Core, Test.Extrapolate
showExprTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
showOpExprTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
showPrecExprTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
showsTypeRepTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
sizeTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
splitTyConAppTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
stringTest.Extrapolate.TypeBinding, Test.Extrapolate
subexprsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
subInstancesTest.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
suchThatTest.Extrapolate.Core, Test.Extrapolate