diff --git a/nixos/tests/benchexec.nix b/nixos/tests/benchexec.nix index 2875588efdf2..d531ceb746fd 100644 --- a/nixos/tests/benchexec.nix +++ b/nixos/tests/benchexec.nix @@ -43,7 +43,8 @@ in --debug \ --read-only-dir / \ --hidden-dir /home \ - '${test}' \ + --no-container \ + -- '${test}' \ '''') benchexec.succeed("grep -s '${echo}' ${wd}/output.log") benchexec.succeed("test \"$(grep -Ec '((start|wall|cpu)time|memory)=' ${stdout})\" = 4")