There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer

JSON-LD ( Export

  "description": "<ul>\n<li>Fix bug in HTML tables where content of a cell could be visible through another cell when scrolling horizontally.</li>\n<li>Slightly improved error handling and error messages regarding cgroup permissions, cgroupsv2, and invalid directory modes.</li>\n<li>Improved handling of debug log (<code>--debug</code>).\nPreviously, every transferred output file of the tool was logged, which would lead to large debug logs in case a tool produced many files.\nNow we log only the names of at most 1000 such output files.</li>\n<li>Many new and improved tool-info modules.</li>\n<li>The default branch of the git repository has been renamed to <code>main</code>.\nPlease adjust forks and checkouts if required.</li>\n</ul>", 
  "license": "", 
  "creator": [
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "", 
      "@type": "Person", 
      "name": "Philipp Wendler"
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "", 
      "@type": "Person", 
      "name": "Dirk Beyer"
  "url": "", 
  "datePublished": "2021-11-23", 
  "version": "3.10", 
  "@context": "", 
  "identifier": "", 
  "@id": "", 
  "@type": "SoftwareSourceCode", 
  "name": "sosy-lab/benchexec: Release 3.10"
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