We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d99c836 commit cb6e961Copy full SHA for cb6e961
utbot-framework/src/main/kotlin/org/utbot/framework/minimization/Minimization.kt
@@ -20,6 +20,7 @@ import org.utbot.framework.plugin.api.UtPrimitiveModel
20
import org.utbot.framework.plugin.api.UtStatementModel
21
import org.utbot.framework.plugin.api.UtSymbolicExecution
22
import org.utbot.framework.plugin.api.UtVoidModel
23
+import org.utbot.fuzzer.UtFuzzedExecution
24
25
26
/**
@@ -280,6 +281,6 @@ private fun Throwable.exceptionToInfo(): String =
280
281
* See [https://github.com/UnitTestBot/UTBotJava/issues/1504] for more details.
282
*/
283
private fun UtExecution.getExecutionPriority(): Int = when (this) {
- is UtSymbolicExecution -> 0
284
+ is UtFuzzedExecution -> 0
285
else -> 1
286
}
0 commit comments