Fuzzing is not stopped on timeout when symbolic execution is excluded #…

…570
UnitTestBot · Jul 22, 2022 · 79bb80f · 79bb80f
1 parent da29a64
commit 79bb80f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
@@ -435,7 +435,7 @@ class UtBotSymbolicEngine(
             })
         }
         fuzzedValues.forEach { values ->
-            if (System.currentTimeMillis() >= until) {
+            if (controller.job?.isActive == false || System.currentTimeMillis() >= until) {
                 logger.info { "Fuzzing overtime: $methodUnderTest" }
                 return@flow
             }

diff --git a/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestFlow.kt b/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestFlow.kt
@@ -62,7 +62,7 @@ class TestFlow internal constructor(block: TestFlow.() -> Unit) {
             isFuzzingEnabled -> {
                 when (val value = if (isSymbolicEngineEnabled) (fuzzingValue * generationTimeout).toLong() else generationTimeout) {
                     0L -> engine.traverse()
-                    generationTimeout -> engine.fuzzing()
+                    generationTimeout -> engine.fuzzing(System.currentTimeMillis() + value)
                     else -> flowOf(
                         engine.fuzzing(System.currentTimeMillis() + value),
                         engine.traverse()