Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.ModelIteratorTest

NameTestsErrorsFailuresTime(s)
ModelIteratorTest4000.370

Tests

NameStatusTypeTime(s)
testModelIteratorSuccess0.233
testCardModelSuccess0.028
testIncModelSuccess0.017
testIsSatisfiableVecIntSuccess0.005
Properties »
System.out »
System.err »