Review fixes

JetBrains · May 4, 2023 · f17c917 · f17c917
1 parent 525a486
commit f17c917
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/paramgen/BooleanGen.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/paramgen/BooleanGen.kt
@@ -17,4 +17,6 @@ class BooleanGen(randomProvider: RandomProvider, configuration: String) : Parame
     private val random = randomProvider.createRandom()
 
     override fun generate() = random.nextBoolean()
+    override fun resetRange() {
+    }
 }
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/paramgen/ThreadIdGen.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/paramgen/ThreadIdGen.kt
@@ -23,6 +23,9 @@ import org.jetbrains.kotlinx.lincheck.RandomProvider
  */
 class ThreadIdGen(randomProvider: RandomProvider, configuration: String) : ParameterGenerator<Any> {
     override fun generate() = THREAD_ID_TOKEN
+
+    override fun resetRange() {
+    }
 }
 
 internal val THREAD_ID_TOKEN = Any()