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.
|