There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5720267", 
  "title": "sosy-lab/benchexec: Release 3.10", 
  "issued": {
    "date-parts": [
      [
        2021, 
        11, 
        23
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Philipp Wendler"
    }, 
    {
      "family": "Dirk Beyer"
    }
  ], 
  "version": "3.10", 
  "type": "article", 
  "id": "5720267"
}
1,865
114
views
downloads
All versions This version
Views 1,86528
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,31425
Unique downloads 586

Share

Cite as