[Summary] [Package List] [Test Cases]
Tests | Errors | Failures | Skipped | Success Rate | Time |
---|---|---|---|---|---|
8 | 0 | 0 | 0 | 100% | 0.185 |
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.185 |
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.097 | |
TestSoftCard | 3 | 0 | 0 | 0 | 100% | 0.088 |
[Summary] [Package List] [Test Cases]
testMaxsat | 0.044 | |
testMaxsatBis | 0.003 | |
testPartialWeightedMaxsat | 0.008 | |
testWeightedMinimization | 0.002 | |
testExampleDavid | 0.002 |