Surefire Report

Summary


Tests Errors Failures Skipped Success Rate Time
5 0 0 0 100% 0.097

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List


Package Tests Errors Failures Skipped Success Rate Time
org.sat4j.maxsat 5 0 0 0 100% 0.097

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.sat4j.maxsat

Class Tests Errors Failures Skipped Success Rate Time
TestDavid 5 0 0 0 100% 0.097

Test Cases

TestDavid

testMaxsat 0.053
testMaxsatBis 0.009
testPartialWeightedMaxsat 0.011
testWeightedMinimization 0.002
testExampleDavid 0.004