MyNixOS website logo
option

programs.benchexec.package

The benchexec package to use.

Declarations
Type
package
Default
pkgs.benchexec