debian
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
benchexec for Debian -------------------- This package uses a systemd service (benchexec-cgroup) to configure the Linux kernel cgroups as necessary for BenchExec. Users that should be able to use BenchExec should be added to the group "benchexec". Alternatively, the permissions assigned to the cgroups can be changed by changing the BENCHEXEC_CGROUP_GROUP and BENCHEXEC_CGROUP_PERM environment variables of that service. -- Philipp Wendler <[email protected]> Fri, 11 Sep 2015 10:29:29 +0200