Searched refs:LCStressOptionsDefault (Results 1 – 8 of 8) sorted by relevance
10 class LCStressOptionsDefault : StressOptions() { class
26 fun test() = LCStressOptionsDefault()
41 fun test() = LCStressOptionsDefault()
44 fun test() = LCStressOptionsDefault().check(this::class)
35 fun testWithRemoveForQuiescentConsistency() = LCStressOptionsDefault()
47 fun testAddRemoveLinearizability() = LCStressOptionsDefault().check(this::class) in isSame()
117 fun test() = LCStressOptionsDefault() in <lambda>()