Skip to content

Release 2.7
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 05 Jun 08:40
2.7
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Verified
Learn about vigilant mode.
140528c
  • The supplied file benchexec-cgroup.service for 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.
Assets 12
Loading