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:

publicinttheSum(inta,intb,intc,intd,inte,intf) {intres =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;    }returnres;}

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