There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Philipp Wendler</dc:creator>
  <dc:creator>Dirk Beyer</dc:creator>
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.
  <dc:title>sosy-lab/benchexec: Release 3.10</dc:title>
All versions This version
Views 1,86428
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,31325
Unique downloads 586


Cite as