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