Interface ExecutionResult

  • All Known Implementing Classes:
    ExceptionalValueResult, ExceptionResult, ValueResult

    public interface ExecutionResult
    Interface implemented by classes that are used to wrap results of tests that can be used for the generation of error-constraints.