Fuzzing is not stopped on timeout when symbolic execution is excluded #570

[Markoutte]

Description

When symbolic execution is off fuzzing should be stopped after a total time for generation is over. This PR also fixes an issue when fuzzing can't be stopped by canceling task via progress bar button.

Fixes #570

Type of Change

Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

All tests should pass

Manual Scenario

Generate test for:

public int theSum(int a, int b, int c, int d, int e, int f) {
    int res = 100;
    if (a < 1) {
        res += 200;
    }
    if (b < 2) {
        res += 300;
    }
    if (c < 3) {
        res += 400;
    }
    if (d < 4) {
        res += 500;
    }
    if (e < 5) {
        res += 700;
    }
    if (f < 6) {
        res += 800;
    }
    return res;
}

This examples finds > 880 000 000 inputs values. After fix it should be stopped in both cases:

1. When timeout is over
2. If a user cancels task

Checklist (remove irrelevant options):

• 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