Project

General

Profile

Bug #11016

On cancelling solutions of verification jobs scheduler does not terminate verification tasks

Added by Evgeny Novikov 9 days ago.

Status:
New
Priority:
High
Category:
Scheduling
Target version:
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.

No data to display

Also available in: Atom PDF