| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| EmptyImmuSetTest | 12 | 0 | 0 | 1.062 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testCount | Success | 0.080 | |
| testTheOne | Success | 0.000 | |
| testStepper | Success | 0.010 | |
| testWith | Success | 0.010 | |
| testWithout | Success | 0.000 | |
| testHasMember | Success | 0.000 | |
| testIsEmpty | Success | 0.000 | |
| testIsSubsetOf | Success | 0.161 | |
| testIntersect | Success | 0.000 | |
| testMinus | Success | 0.000 | |
| testUnionWith | Success | 0.000 | |
| testAsMuSet | Success | 0.000 |