| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| MuSetTest | 9 | 0 | 0 | 1.222 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testMake | Success | 0.200 | |
| testMakeWith | Success | 0.040 | |
| testMakeCapacity | Success | 0.000 | |
| testFromStepper | Success | 0.040 | |
| testRestrictTo | Success | 0.151 | |
| testAsImmuSet | Success | 0.020 | |
| testAsMuSet | Success | 0.000 | |
| testActualHashForEqual | Success | 0.000 | |
| testIsEqual | Success | 0.000 |