[Summary] [Package List] [Test Cases]
| Tests | Errors | Failures | Skipped | Success Rate | Time |
|---|---|---|---|---|---|
| 8 | 0 | 0 | 0 | 100% | 0.25 |
Note: failures are anticipated and checked for with assertions while errors are unanticipated.
[Summary] [Package List] [Test Cases]
| Package | Tests | Errors | Failures | Skipped | Success Rate | Time |
|---|---|---|---|---|---|---|
| org.sat4j.maxsat | 8 | 0 | 0 | 0 | 100% | 0.25 |
Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.
| Class | Tests | Errors | Failures | Skipped | Success Rate | Time | |
|---|---|---|---|---|---|---|---|
 | TestDavid | 5 | 0 | 0 | 0 | 100% | 0.132 |
| TestSoftCard | 3 | 0 | 0 | 0 | 100% | 0.118 |
[Summary] [Package List] [Test Cases]
| testMaxsat | 0.054 |
| testMaxsatBis | 0.005 |
| testPartialWeightedMaxsat | 0.012 |
| testWeightedMinimization | 0.001 |
| testExampleDavid | 0.003 |
