Actions
Feature #8269
openAllow to use swap when solving jobs or tasks
Start date:
07/03/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
At the moment BenchExec operates with warnings when swap is enabled and kernel parameter swapaccount is 1. I suppose to suppress these warnings as we don't benchmark verification tools but verify software, and if one wants to use swap, we don't forbid that. Perhaps this will require some new feature from BenchExec or it can be implemented separately from it at all.
Actions