Surefire Report

Summary

[Summary ] [Package List ] [Test Cases ]

Tests Errors Failures Skipped Success Rate Time
4 0 0 0 100% 0.081

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.helper 4 0 0 0 100% 0.081

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

org.sat4j.helper

Class Tests Errors Failures Skipped Success Rate Time
TestDependencyHelper 4 0 0 0 100% 0.081

Test Cases

[Summary ] [Package List ] [Test Cases ]

TestDependencyHelper

testBasicRequirements 0.046
testBasicRequirementsDetailedExplanation 0.001
testDisjunctions 0.007
testDisjunctionExplanation 0.002