Skip to content

Commit 8360415

Browse files
committed
Do not initialize Jc-flow if timeout = 0
1 parent 7c3aea7 commit 8360415

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

utbot-framework/src/main/kotlin/org/utbot/engine/UsvmSymbolicEngine.kt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,10 @@ object UsvmSymbolicEngine {
6464
timeoutMillis: Long
6565
): List<Pair<ExecutableId, UtResult>> {
6666

67+
if (timeoutMillis == 0L) {
68+
return emptyList()
69+
}
70+
6771
val collectedExecutions = mutableListOf<Pair<ExecutableId, UtResult>>()
6872
val classpathFiles = classpath.split(File.pathSeparator).map { File(it) }
6973

0 commit comments

Comments
 (0)