Fix packages import

aartdem · Mar 27, 2024 · 5216e24 · 5216e24
1 parent 6b57127
commit 5216e24
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/work1/src/main/kotlin/stack/Main.kt b/work1/src/main/kotlin/stack/Main.kt
@@ -1,5 +1,6 @@
 package stack
 
+import stack.simple.ConcurrentTreiberStack
 import javax.print.attribute.standard.JobName
 import kotlin.concurrent.thread
 import kotlin.coroutines.coroutineContext

diff --git a/work1/src/test/kotlin/stack/ConcurrentStackTest.kt b/work1/src/test/kotlin/stack/ConcurrentStackTest.kt
@@ -4,6 +4,8 @@ import org.jetbrains.kotlinx.lincheck.annotations.Operation
 import org.jetbrains.kotlinx.lincheck.check
 import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingOptions
 import org.jetbrains.kotlinx.lincheck.strategy.stress.StressOptions
+import stack.common.ConcurrentStack
+import stack.simple.ConcurrentTreiberStack
 import kotlin.test.Test
 
 abstract class ConcurrentStackTest(private val stack: ConcurrentStack<Int>) {