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 aecd860 commit cf68dcbCopy full SHA for cf68dcb
utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt
@@ -157,7 +157,8 @@ fun setOptions() {
157
Settings.defaultConcreteExecutorPoolSize = 1
158
UtSettings.useFuzzing = true
159
UtSettings.classfilesCanChange = false
160
- UtSettings.useAssembleModelGenerator = false
+ // We need to use assemble model generator to increase readability
161
+ UtSettings.useAssembleModelGenerator = true
162
UtSettings.enableSummariesGeneration = false
163
UtSettings.preferredCexOption = false
164
UtSettings.warmupConcreteExecution = true
0 commit comments