de.rwth.i2.attestorExamples.RefBT Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of attestor-examples Show documentation

Collection of executable benchmarks for Attestor.

There is a newer version: 0.4.0

package de.rwth.i2.attestorExamples;

import jmhBenchmarkHelper.BenchmarkHelper;
import org.openjdk.jmh.annotations.Benchmark;
import de.rwth.i2.attestor.main.Attestor;

public class RefBT {

    @Benchmark
    public void getLeft() {
        BenchmarkHelper.builder()
                .expectTotalStates(10)
                .expectMainProcedureStates(10)
                .expectFinalStates(2)
                .build()
                .run();
    }

    @Benchmark
    public void getLeftmostChild() {
        BenchmarkHelper.builder()
                .expectTotalStates(22)
                .expectMainProcedureStates(22)
                .expectFinalStates(2)
                .build()
                .run();
    }

    @Benchmark
    public void lindstromTraverse(){
        BenchmarkHelper.builder()
                .expectTotalStates(229)
                .expectMainProcedureStates(223)
                .expectFinalStates(1)
                .build()
                .run();
    }

    @Benchmark
    public void lindstromTraverse_visited(){
        BenchmarkHelper.builder()
                .expectTotalStates(2583)
                .expectMainProcedureStates(2577)
                .expectFinalStates(1)
                .build()
                .run();
    }
	
    @Benchmark
    public void lindstromTraverse_shape(){
        BenchmarkHelper.builder()
                .expectTotalStates(229)
                .expectMainProcedureStates(223)
                .expectFinalStates(1)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void lindstromTraverse_terminateAtSen(){
        BenchmarkHelper.builder()
                .expectTotalStates(229)
                .expectMainProcedureStates(223)
                .expectFinalStates(1)
                .expectLTLResults(true)
                .build()
                .run();
    }

    @Benchmark
    public void lindstromTraverse_neighbourhood(){
        BenchmarkHelper.builder()
                .expectTotalStates(67941)
                .expectMainProcedureStates(67935)
                .expectFinalStates(10)
                .expectLTLResults(true)
                .build()
                .run();
    }
}