Repository navigation
Add hint for disabled fuzzing control #1411
Description
Activity
- added a commit that references this issue
on Nov 25, 2022 - linked a pull request that will close this issueAdd hint for disabled fuzzing control #1411 #1429
on Nov 25, 2022 - added a commit that references this issue
on Nov 28, 2022 - added a commit that references this issue
on Nov 29, 2022
Metadata
Metadata
Assignees
Type
Projects
- Status
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)