Skip to content

Commit

Permalink
Add hint for disabled fuzzing control #1411
Browse files Browse the repository at this point in the history
  • Loading branch information
Vassiliy-Kudryashov committed Nov 25, 2022
1 parent 4b9ca2d commit f471845
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
package org.utbot.framework

import com.jetbrains.rd.util.LogLevel
import java.io.File
import mu.KotlinLogging
import org.utbot.common.AbstractSettings
import java.lang.reflect.Executable
Expand All @@ -9,12 +10,12 @@ private val logger = KotlinLogging.logger {}
/**
* Path to the utbot home folder.
*/
internal val utbotHomePath = "${System.getProperty("user.home")}/.utbot"
internal val utbotHomePath = "${System.getProperty("user.home")}${File.separatorChar}.utbot"

/**
* Default path for properties file
*/
private val defaultSettingsPath = "$utbotHomePath/settings.properties"
private val defaultSettingsPath = "$utbotHomePath${File.separatorChar}settings.properties"
private const val defaultKeyForSettingsPath = "utbot.settings.path"

/**
Expand All @@ -26,6 +27,9 @@ object UtSettings : AbstractSettings(
logger, defaultKeyForSettingsPath, defaultSettingsPath
) {

@JvmStatic
fun getPath(): String = System.getProperty(defaultKeyForSettingsPath)?: defaultSettingsPath

/**
* Setting to disable coroutines debug explicitly.
*
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,11 @@ class SettingsWindow(val project: Project) {
addToRight(symLabel)
}().constraints(CCFlags.growX)
}
if (!UtSettings.useFuzzing) {
row("") {
comment("Fuzzing is disabled in ${UtSettings.getPath()}, see the key 'useFuzzing'" )
}
}
}

fun isModified(): Boolean {
Expand Down

0 comments on commit f471845

Please sign in to comment.