fix expected coverage

vorpal-research · Jul 26, 2023 · 06868d0 · 06868d0
1 parent 4e11e07
commit 06868d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-runner/src/test/kotlin/org/vorpal/research/kex/symbolic/SetSymbolicLongTest.kt b/kex-runner/src/test/kotlin/org/vorpal/research/kex/symbolic/SetSymbolicLongTest.kt
@@ -13,6 +13,6 @@ import kotlin.time.ExperimentalTime
 class SetSymbolicLongTest : SymbolicTest("set-symbolic") {
     @Test
     fun setConcolicTest() {
-        assertCoverage(cm["org/vorpal/research/kex/test/concolic/SetConcolicTests"], 0.95, eps = 0.05)
+        assertCoverage(cm["org/vorpal/research/kex/test/concolic/SetConcolicTests"], 1.0)
     }
 }