de.rwth.i2.attestorExamples.Recursive 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 Recursive {

    @Benchmark
    public void sll_rec_traversal() {
        BenchmarkHelper.builder()
                .expectFinalStates(1)
                .build()
                .run();
    }

    @Benchmark
    public void sll_rec_build() {
        BenchmarkHelper.builder()
                .expectFinalStates(1)
                .build()
                .run();
    }

    @Benchmark
    public void tree_rec_traversal() {
        BenchmarkHelper.builder()
                .expectFinalStates(1)
                .expectTotalStates(1170)
                .expectMainProcedureStates(9)
                .build()
                .run();
    }

    
    @Benchmark
    public void sll_rec_zip() {
        BenchmarkHelper.builder()
                .expectFinalStates(1)
                .expectTotalStates(575)
                .expectMainProcedureStates(20)
                .build()
                .run();
    }
}