Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.SingleSolutionTest

NameTestsErrorsFailuresTime(s)
SingleSolutionTest2000.076

Tests

NameStatusTypeTime(s)
testHasASingleSolutionSuccess0.042
testHasASingleSolutionIVecIntSuccess0.002
Properties »
System.out »