extrapolate-0.4.6: generalize counter-examples of test properties

Index - N

NameTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
nameTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
namesTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
natTest.Extrapolate.TypeBinding, Test.Extrapolate
naturalTest.Extrapolate.TypeBinding, Test.Extrapolate
noDupListConsTest.Extrapolate.Core, Test.Extrapolate
noDupListsOfTest.Extrapolate.Core, Test.Extrapolate
normalizeTTest.Extrapolate.Core, Test.Extrapolate
nubConstsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
nubHolesTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
nubMergeTest.Extrapolate.Utils
nubMergeByTest.Extrapolate.Utils
nubMergeMapTest.Extrapolate.Utils
nubMergeOnTest.Extrapolate.Utils
nubSubexprsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
nubValuesTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
nubVarsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core