Skip to content

Commit 34456eb

Browse files
Damtevtamarinvs19
authored andcommitted
Enabled assemble model generator for contest (#1630)
1 parent 7164b5c commit 34456eb

File tree

1 file changed

+2
-1
lines changed
  • utbot-junit-contest/src/main/kotlin/org/utbot/contest

1 file changed

+2
-1
lines changed

utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,8 @@ fun setOptions() {
157157
Settings.defaultConcreteExecutorPoolSize = 1
158158
UtSettings.useFuzzing = true
159159
UtSettings.classfilesCanChange = false
160-
UtSettings.useAssembleModelGenerator = false
160+
// We need to use assemble model generator to increase readability
161+
UtSettings.useAssembleModelGenerator = true
161162
UtSettings.enableSummariesGeneration = false
162163
UtSettings.preferredCexOption = false
163164
UtSettings.warmupConcreteExecution = true

0 commit comments

Comments
 (0)