Skip to content
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

Jump to bottom

Add hint for disabled fuzzing control #1411

Closed
Vassiliy-Kudryashov opened this issue Nov 22, 2022 · 0 comments · Fixed by #1429
Closed

Add hint for disabled fuzzing control #1411

Vassiliy-Kudryashov opened this issue Nov 22, 2022 · 0 comments · Fixed by #1429
Assignees
@Vassiliy-Kudryashov
Labels
comp-ui Improvements of plugin UI appearence and functionality ctg-bug Issue is a bug
Milestone
2022.12 Release

Comments

@Vassiliy-Kudryashov
Copy link
Member

Description

In case useFuzzing=false in settings.properties we disable corresponding UI control. Such a behavior may be not obvious for a user and we have to provide some explanation hint do explain why the control is dsabled and how to enable it.

To Reproduce

Specify useFuzzing=false in {home}/.utbot/settings.properties

Expected behavior

Fuzzing ratio control disabled with an explanation hint

Actual behavior

Fuzzing ratio control is just disabled

Visual proofs (screenshots, logs, images)

java_1iIZVfECYk
@Vassiliy-Kudryashov Vassiliy-Kudryashov added the ctg-bug Issue is a bug label Nov 22, 2022
@Vassiliy-Kudryashov Vassiliy-Kudryashov self-assigned this Nov 22, 2022
@korifey korifey moved this to Todo in UTBot Java Nov 22, 2022
@Vassiliy-Kudryashov Vassiliy-Kudryashov moved this from Todo to In Progress in UTBot Java Nov 25, 2022
Vassiliy-Kudryashov added a commit that referenced this issue Nov 25, 2022
@Vassiliy-Kudryashov
Add hint for disabled fuzzing control #1411
f471845
@Vassiliy-Kudryashov Vassiliy-Kudryashov mentioned this issue Nov 25, 2022
Merged
3 tasks
@Vassiliy-Kudryashov Vassiliy-Kudryashov linked a pull request Nov 25, 2022 that will close this issue
Add hint for disabled fuzzing control #1411 #1429
Merged
3 tasks
Vassiliy-Kudryashov added a commit that referenced this issue Nov 28, 2022
@Vassiliy-Kudryashov
Add hint for disabled fuzzing control #1411
d18fc6a 
After-review improvement: replace potentially long file path with link, implement editing for settings.properties
Vassiliy-Kudryashov added a commit that referenced this issue Nov 29, 2022
@Vassiliy-Kudryashov
Add hint for disabled fuzzing control #1411 (#1429)
d242a1a 
* Add hint for disabled fuzzing control #1411

* Add hint for disabled fuzzing control #1411

After-review improvement: replace potentially long file path with link, implement editing for settings.properties
Repository owner moved this from In Progress to Done in UTBot Java Nov 29, 2022
@alisevych alisevych added this to the 2022.12 Release milestone Nov 29, 2022
@alisevych alisevych added the comp-ui Improvements of plugin UI appearence and functionality label Nov 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Vassiliy-Kudryashov Vassiliy-Kudryashov

Labels
comp-ui Improvements of plugin UI appearence and functionality ctg-bug Issue is a bug
Projects
UTBot Java
Archived in project
Milestone
2022.12 Release
Development

Successfully merging a pull request may close this issue.

Add hint for disabled fuzzing control #1411 UnitTestBot/UTBotJava
2 participants
@Vassiliy-Kudryashov @alisevych