Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.LitTest

NameTestsErrorsFailuresTime(s)
LitTest5000.180

Tests

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