Surefire Report

Summary

[Summary] [Package List] [Test Cases]


TestsErrors FailuresSkippedSuccess RateTime
5000100%0.021

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.reader.csp5000100%0.021

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

org.sat4j.reader.csp

ClassTestsErrors FailuresSkippedSuccess RateTime
RangeDomainTest5000100%0.021

Test Cases

[Summary] [Package List] [Test Cases]

RangeDomainTest

testSize0.002
testGet0
testIterator0.001
testNegativeBounds0
testPos0