From e73c9e0561a7acd69640007de69cbfab47bc0260 Mon Sep 17 00:00:00 2001
From: Yury Kamenev <yurkam447@gmail.com>
Date: Mon, 10 Jul 2023 09:21:22 +0300
Subject: [PATCH] Fixed compilation error

---
 .../src/test/kotlin/org/usvm/samples/controlflow/CyclesTest.kt   | 1 +
 1 file changed, 1 insertion(+)

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
index d2dbf7761f..a230eedb0e 100644
--- 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,