There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer

  • 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 (6.0 MB)
Name Size
sosy-lab/benchexec-3.10.zip
md5:d718ead3f5be2c6c047c90e15f16903b
6.0 MB Download
1,852
114
views
downloads
All versions This version
Views 1,85228
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,30225
Unique downloads 586

Share

Cite as