Surefire Report

Summary

[Summary] [Package List] [Test Cases]


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

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


Package List

[Summary] [Package List] [Test Cases]


Package Tests Errors Failures Skipped Success Rate Time
org.sat4j.reader.csp 5 0 0 0 100% 0.05

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

org.sat4j.reader.csp

Class Tests Errors Failures Skipped Success Rate Time
RangeDomainTest 5 0 0 0 100% 0.05

Test Cases

[Summary] [Package List] [Test Cases]

RangeDomainTest

testSize 0.028
testGet 0.001
testIterator 0.001
testNegativeBounds 0
testPos 0