Uses of Class
jmhBenchmarkHelper.BenchmarkHelper.BenchmarkHelperBuilder

Uses of BenchmarkHelper.BenchmarkHelperBuilder in jmhBenchmarkHelper

Methods in jmhBenchmarkHelper that return BenchmarkHelper.BenchmarkHelperBuilder

Modifier and Type	Method and Description
static BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.builder()
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectFatal()
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectFinalStates(long finalStates)
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectLTLResults(boolean allSatisfied)
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectMainProcedureStates(long mainProcedureStates)
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectNoCounterexamples(int noCounterexamples)
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.expectTotalStates(long totalStates)
BenchmarkHelper.BenchmarkHelperBuilder	BenchmarkHelper.BenchmarkHelperBuilder.setRootPath(String rootPath)