Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.LitTest

NameTestsErrorsFailuresTime(s)
LitTest5000.041

Tests

NameStatusTypeTime(s)
testNotSuccess0.007
testVarSuccess0.000
testEqualsObjectSuccess0.000
testToStringSuccess0.000
testTruthValueSuccess0.000
Properties »