Designed for use with JUnit and Ant. |
Tests | Failures | Errors | Success rate | Time |
---|---|---|---|---|
2599 | 111 | 0 | 95.73% | 36534.539 |
Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
Name | Tests | Errors | Failures | Time(s) |
---|---|---|---|---|
org.sat4j | 6 | 0 | 0 | 0.204 |
org.sat4j.core | 24 | 0 | 0 | 0.044 |
org.sat4j.minisat | 1691 | 0 | 42 | 14348.824 |
org.sat4j.minisat.constraints | 833 | 0 | 69 | 22184.919 |
org.sat4j.minisat.constraints.pb | 1 | 0 | 0 | 0.078 |
org.sat4j.minisat.core | 24 | 0 | 0 | 0.147 |
org.sat4j.minisat.datatype | 3 | 0 | 0 | 0.037 |
org.sat4j.minisat.reader | 17 | 0 | 0 | 0.286 |