Package daikon.test.inv

Class Summary
InvariantAddAndCheckTester This is a tester for the results of adding or checking an sample to an invariant.
InvariantTester