From 869c1114756835e53878b39d421cecf88413b149 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ivan=20=E2=80=9CCLOVIS=E2=80=9D=20Canet?= Date: Fri, 31 Jul 2026 10:52:58 +0200 Subject: [PATCH] upgrade: Lincheck 3.7 --- .../src/jvmTest/kotlin/MemoryCacheLinearizationTest.kt | 9 ++++----- gradle/libs.versions.toml | 4 ++-- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/cache-blocking/src/jvmTest/kotlin/MemoryCacheLinearizationTest.kt b/cache-blocking/src/jvmTest/kotlin/MemoryCacheLinearizationTest.kt index a6bdf36..f2b8a56 100644 --- a/cache-blocking/src/jvmTest/kotlin/MemoryCacheLinearizationTest.kt +++ b/cache-blocking/src/jvmTest/kotlin/MemoryCacheLinearizationTest.kt @@ -1,5 +1,5 @@ /* - * Copyright (c) 2024-2025, OpenSavvy and contributors. + * Copyright (c) 2024-2026, OpenSavvy and contributors. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -22,10 +22,9 @@ import kotlinx.coroutines.cancel import opensavvy.cache.cache import opensavvy.cache.cachedInMemory import opensavvy.state.arrow.out -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.jetbrains.lincheck.datastructures.ModelCheckingOptions +import org.jetbrains.lincheck.datastructures.Operation +import org.jetbrains.lincheck.datastructures.StressOptions import kotlin.random.Random import kotlin.test.AfterTest import kotlin.test.BeforeTest diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index 2059bcd..f1f19ab 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -3,7 +3,7 @@ [versions] arrow = "2.2.3" # https://github.com/arrow-kt/arrow/releases -lincheck = "2.39" # https://github.com/JetBrains/lincheck/releases +lincheck = "3.7" # https://github.com/JetBrains/lincheck/releases kotlinx-coroutines = "1.11.0" # https://github.com/Kotlin/kotlinx.coroutines/releases @@ -17,4 +17,4 @@ kotlinx-coroutines-core = { module = "org.jetbrains.kotlinx:kotlinx-coroutines-c kotlinJs = { module = "org.jetbrains.kotlin-wrappers:kotlin-js", version.ref = "kotlin-js" } arrow-core = { module = "io.arrow-kt:arrow-core", version.ref = "arrow" } -lincheck = { module = "org.jetbrains.kotlinx:lincheck", version.ref = "lincheck" } +lincheck = { module = "org.jetbrains.lincheck:lincheck", version.ref = "lincheck" } -- 2.51.2