| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| EmptyImmuSetTest | 8 | 0 | 0 | 4.717 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testMakeEmpty | Success | 4.646 | |
| testMakeEmptyAliased | Success | 0.000 | |
| testCount | Success | 0.000 | |
| testStepper | Success | 0.000 | |
| testTheOne | Success | 0.002 | |
| testWith | Success | 0.000 | |
| testWithout | Success | 0.001 | |
| testHasMember | Success | 0.001 |