Description

Adds a slider to control fuzzing into Tools → UTBot. Slider with label "Code analysis" disables symbolic execution when it's set to the leftmost value (Simpler) or disables fuzzer if it's set to the rightmost value (Deeper). Other slider positions dispense time between symbolic execution and fuzzing.

The SettingsWindow was updated according to the Kotlin UI DSL 1.0 guidelines. Fixed an issue when property 'hanging test timeout' was incorrectly deserialized from the settings.

Fixes #451

Type of Change

• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Automated Testing

Manual Scenario

1. Set slider to the leftmost position and generate test: only fuzzer test should be generated
2. Set slider to the rightmost position and generate test: only symbolic execution test should be generated
3. Set slider to the middle position and generate test: both fuzzer and symbolic execution test should be generated

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes