make lincheck with intellij platform test framework reproducer

build.gradle.kts

@@ -32,6 +32,7 @@ repositories {
 dependencies {
 	implementation(libs.jacksonDatabind)
 	testImplementation(libs.junit)
+	testImplementation(libs.lincheck)
 
 	// IntelliJ Platform Gradle Plugin Dependencies Extension - read more: https://plugins.jetbrains.com/docs/intellij/tools-intellij-platform-gradle-plugin-dependencies-extension.html
 	intellijPlatform {

gradle/libs.versions.toml

@@ -2,6 +2,7 @@
 # libraries
 junit = "4.13.2"
 opentest4j = "1.3.0"
+lincheck = "2.37"
 
 # plugins
 changelog = "2.4.0"
@@ -15,6 +16,7 @@ jackson = "2.15.2"
 junit = { group = "junit", name = "junit", version.ref = "junit" }
 opentest4j = { group = "org.opentest4j", name = "opentest4j", version.ref = "opentest4j" }
 jacksonDatabind = { group = "com.fasterxml.jackson.core", name = "jackson-databind", version.ref = "jackson" }
+lincheck = { group = "org.jetbrains.kotlinx", name = "lincheck", version.ref = "lincheck" }
 
 [plugins]
 changelog = { id = "org.jetbrains.changelog", version.ref = "changelog" }

src/test/kotlin/dev/stillya/vpet/pet/PetAnimatedObservingStateLincheckTest.kt

@@ -0,0 +1,34 @@
+package dev.stillya.vpet.pet
+
+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 org.junit.Test
+import java.util.concurrent.atomic.AtomicBoolean
+
+class PetAnimatedObservingStateLincheckTest {
+
+	private val isObserving = AtomicBoolean(false)
+
+	@Operation
+	fun startObserving(): Boolean {
+		return isObserving.compareAndSet(false, true)
+	}
+
+	@Operation
+	fun exitObserving(): Boolean {
+		return isObserving.compareAndSet(true, false)
+	}
+
+	@Operation
+	fun isCurrentlyObserving(): Boolean {
+		return isObserving.get()
+	}
+
+	@Test
+	fun stressTest() = StressOptions().check(this::class)
+
+	@Test
+	fun modelCheckingTest() = ModelCheckingOptions().check(this::class)
+}