Open
Description
Description
In UTBot settings percent not shown when user set it to 'Symbolic execution only'
To Reproduce
Steps to reproduce the behavior:
Example:
- Open UTBot setting: Settings->UnitTestBot
- Move slider 'Test generation method' to the right to make it 100%
Symbolic execution
- OK to save and close settings
- Reopen settings again
Expected behavior
In the settings percent shown: 'Fuzzing' = 0%, 'Symbolic execution' = 100%
Actual behavior
No percent shown
Visual proofs (screenshots, logs, images)
Metadata
Metadata
Assignees
Type
Projects
Status
Todo