Surefire Report

Summary

[Summary] [Package List] [Test Cases]


TestsErrors FailuresSkippedSuccess RateTime
8000100%0.25

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


Package List

[Summary] [Package List] [Test Cases]


PackageTestsErrors FailuresSkippedSuccess RateTime
org.sat4j.maxsat8000100%0.25

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

org.sat4j.maxsat

ClassTestsErrors FailuresSkippedSuccess RateTime
TestDavid5000100%0.132
TestSoftCard3000100%0.118

Test Cases

[Summary] [Package List] [Test Cases]

TestDavid

testMaxsat0.054
testMaxsatBis0.005
testPartialWeightedMaxsat0.012
testWeightedMinimization0.001
testExampleDavid0.003

TestSoftCard

test0.059
test20.005
test30.001