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
4
4
import kotlinx.coroutines.flow.emptyFlow
5
5
import kotlinx.coroutines.flow.flattenConcat
6
6
import kotlinx.coroutines.flow.flowOf
7
+ import org.utbot.engine.UsvmSymbolicEngine
7
8
import org.utbot.engine.UtBotSymbolicEngine
8
9
import org.utbot.framework.UtSettings
9
10
import org.utbot.framework.codegen.domain.SymbolicEngineSource
10
- import org.utbot.framework.process.generated.GenerateParams
11
11
12
12
/* *
13
13
* Constructs [TestFlow] for customization and creates flow producer.
@@ -73,7 +73,12 @@ class TestFlow internal constructor(block: TestFlow.() -> Unit) {
73
73
).flattenConcat()
74
74
}
75
75
}
76
- isSymbolicEngineEnabled -> engine.traverse()
76
+ isSymbolicEngineEnabled -> {
77
+ when (symbolicEngineType) {
78
+ SymbolicEngineSource .UnitTestBot -> engine.traverse()
79
+ SymbolicEngineSource .Usvm -> UsvmSymbolicEngine ().generateWithUsvm()
80
+ }
81
+ }
77
82
else -> emptyFlow()
78
83
}
79
84
}
You can’t perform that action at this time.
0 commit comments