Users that intend to use BenchExec. Provide usernames of users that are configured via users.users as string, and UIDs of "mutable users" as integers. Control group delegation will be configured via systemd. For more information, see https://github.com/sosy-lab/benchexec/blob/3.18/doc/INSTALL.md#setting-up-cgroups.
Declarations
Type
list of (string or signed integer)Default
[ ]Example
[
"alice" # username of a user configured via users.users
1007 # UID of a mutable user
]