File tree Expand file tree Collapse file tree 2 files changed +17
-2
lines changed
utbot-framework/src/main/kotlin/org/utbot Expand file tree Collapse file tree 2 files changed +17
-2
lines changed Original file line number Diff line number Diff line change 1+ package org.utbot.engine
2+
3+ import kotlinx.coroutines.flow.Flow
4+ import kotlinx.coroutines.flow.emptyFlow
5+ import org.utbot.framework.plugin.api.UtResult
6+
7+ class UsvmSymbolicEngine {
8+
9+ fun generateWithUsvm (): Flow <UtResult > = emptyFlow()
10+ }
Original file line number Diff line number Diff line change @@ -4,10 +4,10 @@ import kotlinx.coroutines.flow.Flow
44import kotlinx.coroutines.flow.emptyFlow
55import kotlinx.coroutines.flow.flattenConcat
66import kotlinx.coroutines.flow.flowOf
7+ import org.utbot.engine.UsvmSymbolicEngine
78import org.utbot.engine.UtBotSymbolicEngine
89import org.utbot.framework.UtSettings
910import org.utbot.framework.codegen.domain.SymbolicEngineSource
10- import org.utbot.framework.process.generated.GenerateParams
1111
1212/* *
1313 * Constructs [TestFlow] for customization and creates flow producer.
@@ -73,7 +73,12 @@ class TestFlow internal constructor(block: TestFlow.() -> Unit) {
7373 ).flattenConcat()
7474 }
7575 }
76- isSymbolicEngineEnabled -> engine.traverse()
76+ isSymbolicEngineEnabled -> {
77+ when (symbolicEngineType) {
78+ SymbolicEngineSource .UnitTestBot -> engine.traverse()
79+ SymbolicEngineSource .Usvm -> UsvmSymbolicEngine ().generateWithUsvm()
80+ }
81+ }
7782 else -> emptyFlow()
7883 }
7984 }
You can’t perform that action at this time.
0 commit comments