All Downloads are FREE. Search and download functionalities are using the official Maven repository.

jvmTest.LCStressOptionsDefault.kt Maven / Gradle / Ivy

There is a newer version: 1.4.2-native-mt
Show newest version
/*
 * Copyright 2016-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
 */
package kotlinx.coroutines

import org.jetbrains.kotlinx.lincheck.*
import org.jetbrains.kotlinx.lincheck.strategy.stress.*
import kotlin.reflect.*

class LCStressOptionsDefault : StressOptions() {
    init {
        iterations(100 * stressTestMultiplierCbrt)
        invocationsPerIteration(1000 * stressTestMultiplierCbrt)
        actorsBefore(if (isStressTest) 3 else 0)
        threads(3)
        actorsPerThread(if (isStressTest) 3 else 2)
    }
}

fun Options<*,*>.check(testClass: KClass<*>) = LinChecker.check(testClass.java, this)




© 2015 - 2025 Weber Informatics LLC | Privacy Policy