extrapolate-0.4.6: generalize counter-examples of test properties

Index - V

valTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
validAppsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
validConditionsTest.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core
ValueTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
valueTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
valuesTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
varTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
varAsTypeOfTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
variableNamesFromTemplateTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
varsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core