From e9ff9c13321b8165c9b7955b2e74df27334b2558 Mon Sep 17 00:00:00 2001
From: Yury Kamenev <yurkam447@gmail.com>
Date: Fri, 6 Jan 2023 11:52:04 +0800
Subject: [PATCH] Enabled assemble model generator in contest estimator

---
 .../src/main/kotlin/org/utbot/contest/Contest.kt               | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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