Unit Test Results
Designed for use with
JUnit
and
Ant
.
Class org.sat4j.minisat.datatype.LboolTest
Name
Tests
Errors
Failures
Time(s)
LboolTest
3
0
0
0.079
Tests
Name
Status
Type
Time(s)
testNot
Success
0.030
testEqualsObject
Success
0.000
testToString
Success
0.000
Properties »