Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) |
---|---|---|---|---|
TestDisjunction | 8 | 0 | 0 | 0.012 |
Name | Status | Type | Time(s) |
---|---|---|---|
testMinimize | Success | 0.002 | |
testEmptyMinimize | Success | 0.000 | |
testDegeneratedEmptyMinimize | Success | 0.000 | |
testLargeEmptyMinimize | Success | 0.001 | |
testStarMinimize | Success | 0.000 | |
testMultipleMinimize | Success | 0.000 | |
testNullDisjunction | Success | 0.000 | |
testRemoveNull | Success | 0.000 |