Actions
Bug #11016
closedOn cancelling solutions of verification jobs scheduler does not terminate verification tasks
Start date:
11/22/2021
Due date:
% Done:
0%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
I noticed that after cancelling a verification job solution scheduler does not launch solution of new verification tasks, but old ones continue to run until they will finish themselves. It may be not so noticeable when verification tasks are simple, but for complex ones it is a big deal, since users may have to wait for several minutes till solution will be eventually cancelled.
Perhaps, this is not an issue of scheduler, but something is wrong with BenchExec - CPAchecker.
Actions