Skip to content

Change settings order and fix percentage display for Fuzzing/Symbolic ratio #2198

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
alisevych merged 8 commits into from
May 11, 2023
Merged

Change settings order and fix percentage display for Fuzzing/Symbolic ratio #2198

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
7882367
Reorder rows on UI in plugin settings
Apr 21, 2023
e22a4c2
Corrected labels for Fuzzing/Symbolic percentage on UI in plugin sett…
Apr 21, 2023
82f4848
Init labels test using changeListener invoke
Apr 21, 2023
3a940b0
Fix settings layout
Vassiliy-Kudryashov Apr 21, 2023
442628f
Merge branch 'main' into alisevych/ui-settings
Vassiliy-Kudryashov May 10, 2023
33c041f
Reorder UnitTestBot settings for clarity #1857
Vassiliy-Kudryashov May 10, 2023
d3b743e
Reorder UnitTestBot settings for clarity #1857
Vassiliy-Kudryashov May 10, 2023
c4428ac
Reorder UnitTestBot settings for clarity #1857
Vassiliy-Kudryashov May 10, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Corrected labels for Fuzzing/Symbolic percentage on UI in plugin sett… 
…ings
  • Loading branch information
Alena Lisevich committed Apr 21, 2023
commit e22a4c203c3cae5dd3d2c635370c3ac675367584
46 changes: 22 additions & 24 deletions utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings/SettingsWindow.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,12 +6,7 @@ import com.intellij.openapi.ui.ComboBox
import com.intellij.openapi.ui.DialogPanel
import com.intellij.ui.ContextHelpLabel
import com.intellij.ui.components.JBLabel
import com.intellij.ui.dsl.builder.Align
import com.intellij.ui.dsl.builder.bindIntValue
import com.intellij.ui.dsl.builder.bindItem
import com.intellij.ui.dsl.builder.bindValue
import com.intellij.ui.dsl.builder.labelTable
import com.intellij.ui.dsl.builder.panel
import com.intellij.ui.dsl.builder.*
import com.intellij.ui.layout.selectedValueMatches
import com.intellij.util.ui.UIUtil
import com.intellij.util.ui.components.BorderLayoutPanel
Expand Down Expand Up @@ -186,33 +181,36 @@ class SettingsWindow(val project: Project) {
forceMockCheckBox.addActionListener { updater.run() }
}

val fuzzLabel = JBLabel("Fuzzing")
val symLabel = JBLabel("Symbolic execution")
val granularity = 20
var fuzzingPercent = 100.0 * settings.fuzzingValue
val fuzzLabel = JBLabel("Fuzzing %.0f %%".format(fuzzingPercent))
val symLabel = JBLabel("%.0f %% Symbolic execution".format(100.0 - fuzzingPercent))
row("Test generation method:") {
val granularity = 20
slider(0, granularity, 1, granularity / 4).apply {
// clear all labels
labelTable(emptyMap())
}.bindValue(
getter = { ((1 - settings.fuzzingValue) * granularity).toInt() },
setter = { settings.fuzzingValue = 1 - it / granularity.toDouble() }
)
slider(0, granularity, 1, granularity / 4)
.bindValue(
getter = { ((1 - settings.fuzzingValue) * granularity).toInt() },
setter = { settings.fuzzingValue = 1 - it / granularity.toDouble() }
)
.align(Align.FILL)
.component.apply {
paintLabels = false
this.toolTipText =
"<html><body>While fuzzer \"guesses\" the values to enter as much execution paths as possible, symbolic executor tries to \"deduce\" them. Choose the proportion of generation time allocated for each of these methods within Test generation timeout. The slide has no effect for Spring Projects.</body></html>"
addChangeListener {
fuzzLabel.text = "Fuzzing " + "%.0f %%".format(100.0 * (granularity - value) / granularity)
symLabel.text = "%.0f %%".format(100.0 * value / granularity) + " Symbolic execution"
fuzzingPercent = 100.0 * ( granularity - value ) / granularity
fuzzLabel.text = "Fuzzing %.0f %%".format(fuzzingPercent)
symLabel.text = "%.0f %% Symbolic execution".format(100.0 - fuzzingPercent)
}
}
}.enabled(UtSettings.useFuzzing)
row {
cell(BorderLayoutPanel().apply {
addToLeft(fuzzLabel)
addToRight(symLabel)
}).align(Align.FILL)
}
indent{ indent{ indent {
row {
cell(BorderLayoutPanel().apply {
addToLeft(fuzzLabel)
addToRight(symLabel)
}).align(Align.FILL)
}
}}}
if (!UtSettings.useFuzzing) {
row {
comment("Fuzzing is disabled in configuration file.")
Expand Down