Fixed compilation error

UnitTestBot · Jul 10, 2023 · e73c9e0 · e73c9e0
1 parent b67726b
commit e73c9e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/controlflow/CyclesTest.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/controlflow/CyclesTest.kt
@@ -74,6 +74,7 @@ internal class CyclesTest : JavaMethodTestRunner() {
 
     @Test
     @Disabled("Some properties were not discovered at positions (from 0): [0]. Tune coverage zone")
+    @Suppress("UNUSED_PARAMETER")
     fun testCallInnerWhile(options: UMachineOptions) {
         checkDiscoveredProperties(
             Cycles::callInnerWhile,