Fix build.gradle.kts

aartdem · May 5, 2024 · 7485a5c · 7485a5c
1 parent ed1d127
commit 7485a5c
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 8 deletions.
diff --git 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
@@ -21,33 +21,37 @@ abstract class ConcurrentStackTests(private val stack: ConcurrentStack<Int>) {
 
     @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)
 }