Published November 23, 2021
| Version 3.10
Software
Open
sosy-lab/benchexec: Release 3.10
Description
- Fix bug in HTML tables where content of a cell could be visible through another cell when scrolling horizontally.
- Slightly improved error handling and error messages regarding cgroup permissions, cgroupsv2, and invalid directory modes.
- Improved handling of debug log (
--debug). Previously, every transferred output file of the tool was logged, which would lead to large debug logs in case a tool produced many files. Now we log only the names of at most 1000 such output files. - Many new and improved tool-info modules.
- The default branch of the git repository has been renamed to
main. Please adjust forks and checkouts if required.
Files
sosy-lab/benchexec-3.10.zip
Files
(6.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d718ead3f5be2c6c047c90e15f16903b
|
6.0 MB | Preview Download |
Additional details
Related works
- Is documented by
- 10.1007/s10009-017-0469-y (DOI)
- https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (URL)