Actions
Bug #8359
closedInterpret BenchExec statuses in case of resources exhaustion as before
Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Tasks generation
Target version:
-
Start date:
08/16/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
After moving processing of BenchExec statuses from schedulers to VTG strategies their interpretation in case of resources exhaustion was broken. So, now we see interruptions instead of time or memory outs.
Actions