Package daikon.test.diff
-
Class Summary Class Description ConsequentCVFPairComparatorTester Daikon unit test class.ConsequentCVFSortComparatorTester Daikon unit test class.DetailedStatisticsVisitorTester DiffDummyInvariant A dummy invariant used for testing purposes.DiffTester InvMapTester MinusVisitorTester PrintDifferingInvariantsVisitorTester UnionVisitorTester XorVisitorTester