Published June 5, 2020
| Version 2.7
Software
Open
sosy-lab/benchexec: Release 2.7
Description
- The supplied file
benchexec-cgroup.servicefor cgroup configuration on systems with systemd now works with systemd 240 or newer (e.g., on Ubuntu 20.04). This also affects the Debian package of BenchExec. - Error messages about failed cgroup access were improved.
- Buttons below plots in the HTML table do not need to be clicked twice.
- Directly opening the quantile tab of HTML tables via the URL works now.
- First line of logs shown in overlay of HTML tables is selectable again.
Files
sosy-lab/benchexec-2.7.zip
Files
(2.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:4bd001b8c328be3959e47563bc1f3118
|
2.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/sosy-lab/benchexec/tree/2.7 (URL)