Avoid using BenchExec from within Core
At the moment BenchExec is used to restrict computational resources consumption by third-party tools that can behave abnormally. Just CIL is restricted from Core with BenchExec.
I suppose to use more simple solution, namely Python module resource, that is already used to calculate computational resources consumption by Core and its components.
Updated by Ilja Zakharov about 2 years ago
- Target version set to 1.0
- Priority changed from High to Urgent
- Assignee set to Ilja Zakharov
- Status changed from New to Open
As it seems to be critical at verifying new kernels lets do it a bit earlier.
I have implemented it in the branch rm-fix, so after testing I hope it will be soon resolved.