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

Package-level declarations

Types

ManagedStrategyGuaranteeInstanceBuilder

class ManagedStrategyGuaranteeInstanceBuilder

ManagedStrategyGuaranteesBuilder

class ManagedStrategyGuaranteesBuilder

ModelCheckingOptionsBuilder

class ModelCheckingOptionsBuilder

StressOptionsBuilder

class StressOptionsBuilder

Functions

actor

fun DSLThreadScenario.actor(f: KFunction<*>, vararg args: Any?, cancelOnSuspension: Boolean = false, blocking: Boolean = false, causesBlocking: Boolean = false, promptCancellation: Boolean = false)

testWithFray

fun TestSuiteScope.testWithFray(name: String, testConfig: TestConfig = TestConfig, action: Test.ExecutionScope.() -> Unit)

testWithFrayReplay

fun TestSuiteScope.testWithFrayReplay(name: String, testConfig: TestConfig = TestConfig, path: String, action: Test.ExecutionScope.() -> Unit)

testWithLincheckModelChecking

inline fun <TestClass> TestSuiteScope.testWithLincheckModelChecking(name: String, testConfig: TestConfig = TestConfig, noinline options: suspend ModelCheckingOptionsBuilder.() -> Unit = {})

fun TestSuiteScope.testWithLincheckModelChecking(name: String, testConfig: TestConfig = TestConfig, testClass: Class<*>, options: suspend ModelCheckingOptionsBuilder.() -> Unit = {})

fun TestSuiteScope.testWithLincheckModelChecking(name: String, testConfig: TestConfig = TestConfig, testClass: KClass<*>, options: suspend ModelCheckingOptionsBuilder.() -> Unit = {})

testWithLincheckStress

inline fun <TestClass> TestSuiteScope.testWithLincheckStress(name: String, testConfig: TestConfig = TestConfig, noinline options: suspend StressOptionsBuilder.() -> Unit = {})

fun TestSuiteScope.testWithLincheckStress(name: String, testConfig: TestConfig = TestConfig, testClass: Class<*>, options: suspend StressOptionsBuilder.() -> Unit = {})

fun TestSuiteScope.testWithLincheckStress(name: String, testConfig: TestConfig = TestConfig, testClass: KClass<*>, options: suspend StressOptionsBuilder.() -> Unit = {})