From cba597135b294b04c1789b01160a08f2a3d2d22a Mon Sep 17 00:00:00 2001 From: Maksim Zuev Date: Wed, 17 Apr 2024 16:23:22 +0200 Subject: [PATCH] Bump minimal plugin version to 0.2 --- src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt index 2f5fb2d46..c24269af3 100644 --- a/src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt +++ b/src/jvm/main/org/jetbrains/kotlinx/lincheck/IdeaPlugin.kt @@ -15,7 +15,7 @@ import sun.nio.ch.lincheck.* import org.jetbrains.kotlinx.lincheck.runner.* import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.* -const val MINIMAL_PLUGIN_VERSION = "0.0.1" +const val MINIMAL_PLUGIN_VERSION = "0.2" // ============== This methods are used by debugger from IDEA plugin to communicate with Lincheck ============== //