de.rwth.i2.attestorExamples.SLList 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;

/**
 * Simple singly-linked list using a user-specified graph grammar.
 *
 */
public class SLList {

    @Benchmark
    public void reverseSLList() {
        BenchmarkHelper.builder()
                .expectTotalStates(93)
                .expectMainProcedureStates(49)
                .expectFinalStates(1)
                .build()
                .run();
    }
}