Add python3-yaml as missing requirement
@@ -17,7 +17,7 @@ The following packages are optional but recommended dependencies:
For installing BenchExec on Debian or Ubuntu we recommend the `.deb` package
that can be downloaded from [GitHub](https://github.com/sosy-lab/benchexec/releases):
- apt install python3-tempita python3-coloredlogs lxcfs
+ apt install python3-tempita python3-coloredlogs lxcfs python3-yaml
dpkg -i benchexec_*.deb
This package also automatically configures the necessary cgroup permissions.
