Unit Test Results

Designed for use with JUnit and Ant.

Class parser.TestDisjunction

NameTestsErrorsFailuresTime(s)
TestDisjunction8000.012

Tests

NameStatusTypeTime(s)
testMinimizeSuccess0.002
testEmptyMinimizeSuccess0.000
testDegeneratedEmptyMinimizeSuccess0.000
testLargeEmptyMinimizeSuccess0.001
testStarMinimizeSuccess0.000
testMultipleMinimizeSuccess0.000
testNullDisjunctionSuccess0.000
testRemoveNullSuccess0.000
Properties »