1 files changed, 7 insertions, 2 deletions
diff --git a/kotlinx-coroutines-core/jvm/test/lincheck/MutexLincheckTest.kt b/kotlinx-coroutines-core/jvm/test/lincheck/MutexLincheckTest.kt
index 6e350660..f7f59eef 100644
--- a/kotlinx-coroutines-core/jvm/test/lincheck/MutexLincheckTest.kt
+++ b/kotlinx-coroutines-core/jvm/test/lincheck/MutexLincheckTest.kt
@@ -1,5 +1,5 @@
 /*
- * Copyright 2016-2020 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
+ * Copyright 2016-2021 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
  */
 @file:Suppress("unused")
 package kotlinx.coroutines.lincheck
@@ -9,10 +9,15 @@ import kotlinx.coroutines.sync.*
 import org.jetbrains.kotlinx.lincheck.*
 import org.jetbrains.kotlinx.lincheck.annotations.Operation
 import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.*
+import org.junit.*
 
 class MutexLincheckTest : AbstractLincheckTest() {
     private val mutex = Mutex()
 
+    override fun modelCheckingTest() {
+        // Ignored via empty body as the only way
+    }
+
     @Operation
     fun tryLock() = mutex.tryLock()
 
@@ -29,4 +34,4 @@ class MutexLincheckTest : AbstractLincheckTest() {
         checkObstructionFreedom()
 
     override fun extractState() = mutex.isLocked
-}
-\ No newline at end of file
+}