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.

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

No percent shown when 'Test generation method' is set to 'Symbolic executuion' #1064

Open
tyuldashev opened this issue Oct 3, 2022 · 0 comments
Assignees
Labels
comp-ui Improvements of plugin UI appearence and functionality ctg-bug Issue is a bug

Comments

@tyuldashev
Copy link
Collaborator

Description

In UTBot settings percent not shown when user set it to 'Symbolic execution only'

To Reproduce

Steps to reproduce the behavior:

Example:

  1. Open UTBot setting: Settings->UnitTestBot
  2. Move slider 'Test generation method' to the right to make it 100% Symbolic execution
  3. OK to save and close settings
  4. 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)

image

@tyuldashev tyuldashev added the ctg-bug Issue is a bug label Oct 3, 2022
@tyuldashev tyuldashev moved this to Todo in UTBot Java Oct 3, 2022
@alisevych alisevych added the comp-ui Improvements of plugin UI appearence and functionality label Oct 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-ui Improvements of plugin UI appearence and functionality ctg-bug Issue is a bug
Projects
Status: Todo
Development

No branches or pull requests

3 participants