Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.SingleSolutionTest

NameTestsErrorsFailuresTime(s)
SingleSolutionTest2000.168

Tests

NameStatusTypeTime(s)
testHasASingleSolutionSuccess0.116
testHasASingleSolutionIVecIntSuccess0.005
Properties »
System.out »