Project

General

Profile

Actions

Feature #9584

closed

Handle one more warning from BenchExec

Added by Evgeny Novikov over 5 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
Scheduling
Target version:
Start date:
04/03/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

One time I observed the following warning that broke verification results:

WARNING - Thread KillProcessOnOomThread-Thread-3 did not terminate within grace period after cancellation

I am not sure that simple ignoring is enough since some extra things with process termination may be necessary.


Files

task-work-dir.tar.xz (145 KB) task-work-dir.tar.xz Evgeny Novikov, 03/09/2021 01:43 PM
Actions #1

Updated by Evgeny Novikov over 3 years ago

I met this issue again. It broke CI. Also, it can break some decisions of large verification jobs. I attached the working directory of the corresponding task. From my point of view, we can easily ignore this warning that is pretty simple to add.

Actions #2

Updated by Ilja Zakharov over 3 years ago

  • Status changed from New to Resolved

Fixed in fix-warning

Actions #3

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in 6718fe641. Let's hope that BenchExec will not disturb Klever anymore.

Actions

Also available in: Atom PDF