Skip to content

Commit b9ac17e

Browse files
committed
Fuzzer's executions should have priority due to readability in contest
1 parent 0be9ef7 commit b9ac17e

File tree

1 file changed

+2
-1
lines changed
  • utbot-framework/src/main/kotlin/org/utbot/framework/minimization

1 file changed

+2
-1
lines changed

utbot-framework/src/main/kotlin/org/utbot/framework/minimization/Minimization.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ import org.utbot.framework.plugin.api.UtPrimitiveModel
2020
import org.utbot.framework.plugin.api.UtStatementModel
2121
import org.utbot.framework.plugin.api.UtSymbolicExecution
2222
import org.utbot.framework.plugin.api.UtVoidModel
23+
import org.utbot.fuzzer.UtFuzzedExecution
2324

2425

2526
/**
@@ -280,6 +281,6 @@ private fun Throwable.exceptionToInfo(): String =
280281
* See [https://github.com/UnitTestBot/UTBotJava/issues/1504] for more details.
281282
*/
282283
private fun UtExecution.getExecutionPriority(): Int = when (this) {
283-
is UtSymbolicExecution -> 0
284+
is UtFuzzedExecution -> 0
284285
else -> 1
285286
}

0 commit comments

Comments
 (0)