From 06868d09864a6d4f251514b4f4dffeb2334e0c89 Mon Sep 17 00:00:00 2001 From: Azat Abdullin Date: Wed, 26 Jul 2023 16:34:44 +0300 Subject: [PATCH] fix expected coverage --- .../org/vorpal/research/kex/symbolic/SetSymbolicLongTest.kt | 2 +- 1 file changed, 1 insertion(+), 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 index 4a743ab95..efd9bab89 100644 --- 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) } }