Feature #8269
Updated by Evgeny Novikov over 6 years ago
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 fail early in such the cases to use swap, we don't forbid that. avoid any ambiguities. Perhaps this will require some new feature from BenchExec or it can be implemented separately from it at all.