extrapolate-0.4.0: generalize counter-examples of test properties

Index - T

takeBoundTest.Extrapolate.Utils
TestableTest.Extrapolate.Testable, Test.Extrapolate.Core, Test.Extrapolate
testableAtomsTest.Extrapolate.Testable, Test.Extrapolate.Core
testableBackgroundTest.Extrapolate.Testable, Test.Extrapolate.Core
testableExtraInstancesTest.Extrapolate.Testable, Test.Extrapolate.Core
testableGroundsTest.Extrapolate.Testable, Test.Extrapolate.Core
testableMaxConditionSizeTest.Extrapolate.Testable, Test.Extrapolate.Core
testableMaxTestsTest.Extrapolate.Testable, Test.Extrapolate.Core
testableMkEquationTest.Extrapolate.Testable, Test.Extrapolate.Core
testableNamesTest.Extrapolate.Testable, Test.Extrapolate.Core
theoryAndReprCondsTest.Extrapolate.Speculation, Test.Extrapolate.Core
ThyTest.Extrapolate.Speculation, Test.Extrapolate.Core
tiersTest.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate
tiersFloatingTest.Extrapolate.Core, Test.Extrapolate
tiersFractionalTest.Extrapolate.Core, Test.Extrapolate
tinstancesTest.Extrapolate.Testable, Test.Extrapolate.Core
toDynamicTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
toTiersTest.Extrapolate.Core, Test.Extrapolate
tripleEqTest.Extrapolate.Utils
tripleOrdTest.Extrapolate.Utils
trueRatioTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
tyArityTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
TyConTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
tyConFingerprintTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
tyConModuleTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
tyConNameTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
tyConPackageTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
TypeableTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOfTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf1Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf2Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf3Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf4Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf5Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf6Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeOf7Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
TypeRepTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeRepTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeRepArgsTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeRepFingerprintTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typeRepTyConTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
typesInTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core