Unit Test Results

Designed for use with JUnit and Ant.

Summary

TestsFailuresErrorsSuccess rateTime
2583923195.24%34778.831
Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Packages

NameTestsErrorsFailuresTime(s)
org.sat4j6000.343
org.sat4j.core24000.094
org.sat4j.minisat168003915669.222
org.sat4j.minisat.constraints833315319108.362
org.sat4j.minisat.constraints.pb1000.159
org.sat4j.minisat.core24000.288
org.sat4j.minisat.datatype3000.079
org.sat4j.minisat.reader12000.284