diff --git a/work1/build.gradle.kts b/work1/build.gradle.kts index ca0b0d0..b85328c 100644 --- a/work1/build.gradle.kts +++ b/work1/build.gradle.kts @@ -15,7 +15,7 @@ dependencies { implementation("org.apache.commons:commons-math3:3.6.1") implementation("org.jetbrains.kotlinx:kotlinx-coroutines-core:1.8.0") testImplementation("org.jetbrains.kotlinx:lincheck:2.26") - testImplementation("org.jetbrains.kotlin:kotlin-test") + testImplementation(kotlin("test")) } tasks.test { diff --git a/work1/src/test/kotlin/stack/ConcurrentStackTests.kt b/work1/src/test/kotlin/stack/ConcurrentStackTests.kt index bbf0189..c9ddec4 100644 --- a/work1/src/test/kotlin/stack/ConcurrentStackTests.kt +++ b/work1/src/test/kotlin/stack/ConcurrentStackTests.kt @@ -21,33 +21,37 @@ abstract class ConcurrentStackTests(private val stack: ConcurrentStack) { @Test fun stressTest() = StressOptions() - .sequentialSpecification(SequentialStack::class.java) .iterations(50) + .actorsPerThread(3) .invocationsPerIteration(1000) + .sequentialSpecification(SequentialStack::class.java) .check(this::class) @Test fun fourThreadsStressTest() = StressOptions() - .sequentialSpecification(SequentialStack::class.java) .threads(4) - .iterations(10) - .invocationsPerIteration(50) + .iterations(50) + .actorsPerThread(3) + .invocationsPerIteration(1000) + .sequentialSpecification(SequentialStack::class.java) .check(this::class) @Test fun modelCheckingTest() = ModelCheckingOptions() - .sequentialSpecification(SequentialStack::class.java) .iterations(50) + .actorsPerThread(3) .invocationsPerIteration(1000) + .sequentialSpecification(SequentialStack::class.java) .checkObstructionFreedom() .check(this::class) @Test fun fourThreadsModelCheckingTest() = ModelCheckingOptions() - .sequentialSpecification(SequentialStack::class.java) .threads(4) .iterations(50) - .invocationsPerIteration(500) + .actorsPerThread(3) + .invocationsPerIteration(1000) + .sequentialSpecification(SequentialStack::class.java) .checkObstructionFreedom() .check(this::class) }