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