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.037
Tests
Name
Status
Type
Time(s)
testNot
Success
0.003
testEqualsObject
Success
0.000
testToString
Success
0.000
Properties »