Uses of Package
de.rwth.swc.coffee4j.junit.engine.result
-
Packages that use de.rwth.swc.coffee4j.junit.engine.result Package Description de.rwth.swc.coffee4j.junit.engine.result -
Classes in de.rwth.swc.coffee4j.junit.engine.result used by de.rwth.swc.coffee4j.junit.engine.result Class Description ExecutionResult Interface implemented by classes that are used to wrap results of tests that can be used for the generation of error-constraints.ResultWrapper Interface used to wrap execution results for identification of exception-inducing combinations.