Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.SingleSolutionTest

NameTestsErrorsFailuresTime(s)
SingleSolutionTest2000.073

Tests

NameStatusTypeTime(s)
testHasASingleSolutionSuccess0.041
testHasASingleSolutionIVecIntSuccess0.001
Properties »
System.out »