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
6.0 MB Download
All versions This version
Views 1,85228
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,30225
Unique downloads 586


Cite as