Package daikon.test.inv
-
Class Summary Class Description InvariantAddAndCheckTester This is a tester for the results of adding or checking an sample to an invariant.InvariantTester Daikon unit test class.
Class | Description |
---|---|
InvariantAddAndCheckTester |
This is a tester for the results of adding or checking an sample to an invariant.
|
InvariantTester |
Daikon unit test class.
|