diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt index 2c2b76fc63..0555b8231c 100644 --- a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt +++ b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt @@ -157,7 +157,8 @@ fun setOptions() { Settings.defaultConcreteExecutorPoolSize = 1 UtSettings.useFuzzing = true UtSettings.classfilesCanChange = false - UtSettings.useAssembleModelGenerator = false + // We need to use assemble model generator to increase readability + UtSettings.useAssembleModelGenerator = true UtSettings.enableSummariesGeneration = false UtSettings.preferredCexOption = false UtSettings.warmupConcreteExecution = true