MyNixOS website logo
option

programs.benchexec.package

The benchexec package to use.

Declarations
Type
package
Default
pkgs.benchexec
Sign in to create a configuration using this setting.