1 /*
2  * Copyright 2016-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
3  */
4 package kotlinx.coroutines
5 
6 import org.jetbrains.kotlinx.lincheck.*
7 import org.jetbrains.kotlinx.lincheck.strategy.stress.*
8 import kotlin.reflect.*
9 
10 class LCStressOptionsDefault : StressOptions() {
11     init {
12         iterations(100 * stressTestMultiplierCbrt)
13         invocationsPerIteration(1000 * stressTestMultiplierCbrt)
14         actorsBefore(if (isStressTest) 3 else 0)
15         threads(3)
16         actorsPerThread(if (isStressTest) 3 else 2)
17     }
18 }
19 
Optionsnull20 fun Options<*,*>.check(testClass: KClass<*>) = LinChecker.check(testClass.java, this)