Actions
Feature #9584
closedHandle one more warning from BenchExec
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
Actions