kone.util.concurrencyTestUtils/dev.lounres.kone.util.concurrencyTestUtils/ModelCheckingOptionsBuilder

ModelCheckingOptionsBuilder

class ModelCheckingOptionsBuilder(source)

Constructors

ModelCheckingOptionsBuilder

constructor()

Functions

fun actorsAfter(actorsAfter: Int)

fun actorsBefore(actorsBefore: Int)

actorsPerThread

fun actorsPerThread(actorsPerThread: Int)

addCustomScenario

fun addCustomScenario(scenarioBuilder: DSLScenarioBuilder.() -> Unit)

fun addCustomScenario(scenario: ExecutionScenario)

fun addGuarantee(guarantee: ManagedStrategyGuarantee)

inline fun addGuarantees(guaranteesBuilder: ManagedStrategyGuaranteesBuilder.() -> Unit)

checkObstructionFreedom

fun checkObstructionFreedom(checkObstructionFreedom: Boolean = true)

executionGenerator

fun executionGenerator(executionGenerator: Class<out ExecutionGenerator?>)

invocationsPerIteration

fun invocationsPerIteration(invocations: Int)

fun iterations(iterations: Int)

fun logLevel(logLevel: LoggingLevel)

minimizeFailedScenario

fun minimizeFailedScenario(minimizeFailedScenario: Boolean)

sequentialSpecification

inline fun <Clazz> sequentialSpecification()

fun sequentialSpecification(clazz: Class<*>?)

fun sequentialSpecification(clazz: KClass<*>?)

fun threads(threads: Int)

fun verifier(verifier: Class<out Verifier?>)