Examples with VerifierResult org.btrplace.safeplace.testing.verification.VerifierResult used on opensource projects

Example 1 with VerifierResult

use of org.btrplace.safeplace.testing.verification.VerifierResult in project scheduler by btrplace.

the class DefaultTestCampaign method test.

@Override
public TestCaseResult test(TestCase tc) {
    VerifierResult res = oracle.verify(tc);
    DefaultChocoScheduler sched = new DefaultChocoScheduler(params);
    try {
        ReconfigurationPlan plan = sched.solve(tc.instance());
        checkConsistency(plan, tc);
    } catch (RuntimeException e) {
        // A runtime exception is a CRASH. Should not happen
        return new TestCaseResult(tc, e, res);
    }
    return new TestCaseResult(tc, sched.getStatistics(), res);
}