You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For Debian/Ubuntu, the .deb package is now the recommended way of installation,
because it automatically configures cgroups as necessary.
BenchExec now automatically attempts to use the sub-cgroup system.slice/benchexec-cgroup.service
if it does not have access to the current cgroup.
This means that if you followed our installation instructions
for systems with systemd, there is no need anymore to manually
put your shell into the correct cgroup.