Unit Test Results
Designed for use with
JUnit
and
Ant
.
Class org.sat4j.SingleSolutionTest
Name
Tests
Errors
Failures
Time(s)
SingleSolutionTest
2
0
0
0.076
Tests
Name
Status
Type
Time(s)
testHasASingleSolution
Success
0.042
testHasASingleSolutionIVecInt
Success
0.002
Properties »
System.out »