Move useCustomJavaDocTags to UtSettings, make useFuzzing true

Author: onewhl

utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt

@@ -183,6 +183,11 @@ object UtSettings {
     var testName by getBooleanProperty(true)
     var testDisplayName by getBooleanProperty(true)
 
+    /**
+     * Generate summaries using plugin's custom JavaDoc tags.
+     */
+    var useCustomJavaDocTags by getBooleanProperty(false)
+
     /**
      * Enable the machine learning module to generate summaries for methods under test.
      * True by default.
@@ -271,7 +276,7 @@ object UtSettings {
     /**
      * Set to true to start fuzzing if symbolic execution haven't return anything
      */
-    var useFuzzing: Boolean by getBooleanProperty(false)
+    var useFuzzing: Boolean by getBooleanProperty(true)
 
     /**
      * Set the total attempts to improve coverage by fuzzer.

utbot-framework/src/test/kotlin/org/utbot/examples/UtValueTestCaseChecker.kt

@@ -93,7 +93,6 @@ abstract class UtValueTestCaseChecker(
         UtSettings.useAssembleModelGenerator = true
         UtSettings.saveRemainingStatesForConcreteExecution = false
         UtSettings.useFuzzing = false
-        UtSummarySettings.USE_CUSTOM_JAVADOC_TAGS = false
     }
 
     // checks paramsBefore and result

utbot-summary-tests/src/test/kotlin/examples/CustomJavaDocTagsEnabler.kt

@@ -3,17 +3,17 @@ package examples
 import org.junit.jupiter.api.extension.AfterEachCallback
 import org.junit.jupiter.api.extension.BeforeEachCallback
 import org.junit.jupiter.api.extension.ExtensionContext
-import org.utbot.summary.UtSummarySettings
+import org.utbot.framework.UtSettings
 
 class CustomJavaDocTagsEnabler(private val enable: Boolean = true) : BeforeEachCallback, AfterEachCallback {
     private var previousValue = false
 
     override fun beforeEach(context: ExtensionContext?) {
-        previousValue = UtSummarySettings.USE_CUSTOM_JAVADOC_TAGS
-        UtSummarySettings.USE_CUSTOM_JAVADOC_TAGS = enable
+        previousValue = UtSettings.useCustomJavaDocTags
+        UtSettings.useCustomJavaDocTags = enable
     }
 
     override fun afterEach(context: ExtensionContext?) {
-        UtSummarySettings.USE_CUSTOM_JAVADOC_TAGS = previousValue
+        UtSettings.useCustomJavaDocTags = previousValue
     }
 }

utbot-summary/src/main/kotlin/org/utbot/summary/Summarization.kt

@@ -24,7 +24,6 @@ import java.io.File
 import java.nio.file.Path
 import java.nio.file.Paths
 import mu.KotlinLogging
-import org.utbot.summary.UtSummarySettings.USE_CUSTOM_JAVADOC_TAGS
 import org.utbot.summary.comment.CustomJavaDocCommentBuilder
 import soot.SootMethod
 
@@ -145,7 +144,7 @@ class Summarization(val sourceFile: File?, val invokeDescriptions: List<InvokeDe
                 }
 
                 for (traceTags in clusterTraceTags.traceTags) {
-                    if (GENERATE_COMMENTS && USE_CUSTOM_JAVADOC_TAGS) {
+                    if (GENERATE_COMMENTS && UtSettings.useCustomJavaDocTags) {
                         traceTags.execution.summary =
                             CustomJavaDocCommentBuilder(traceTags, sootToAST).buildDocStatements(methodUnderTest)
                     } else if (GENERATE_COMMENTS) {

utbot-summary/src/main/kotlin/org/utbot/summary/UtSummarySettings.kt

@@ -11,11 +11,6 @@ object UtSummarySettings {
      */
     var GENERATE_CLUSTER_COMMENTS = true
 
-    /**
-     * Generate summaries using plugin's custom JavaDoc tags.
-     */
-    var USE_CUSTOM_JAVADOC_TAGS = true
-
     /**
      * If True names for tests will be generated
      */