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

Example 1 with SpecVerifier

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

the class DSN method specVsCheckers.

// @Test
public void specVsCheckers() throws Exception {
    TestScanner sc = newScanner();
    Bench.population = 500;
    Bench.scale = 10;
    Path p = Paths.get(root, "verifier_stable.csv");
    Files.deleteIfExists(p);
    boolean first = true;
    for (Verifier v : new Verifier[] { new SpecVerifier(), new CheckerVerifier() }) {
        if (first) {
            Bench.mode = Bench.Mode.SAVE;
            first = !first;
        } else {
            Bench.mode = Bench.Mode.REPLAY;
        }
        System.out.println("--- Verifier: " + v.getClass() + " ---");
        Bench.report = new CSVReport(p, v.id());
        sc.test(Bench.class).forEach(c -> {
            c.verifyWith(v);
            System.out.println(c.go().toString());
        });
    }
}