option-set

programs.benchexec

Showing entries 1-3 out of 3.

programs.benchexec.enable

Whether to enable BenchExec

programs.benchexec.package

The benchexec package to use

programs.benchexec.users

Users that intend to use BenchExec