There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.10

Philipp Wendler; Dirk Beyer


JSON-LD (schema.org) 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": "https://opensource.org/licenses/Apache-2.0", 
  "creator": [
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0002-5139-341X", 
      "@type": "Person", 
      "name": "Philipp Wendler"
    }, 
    {
      "affiliation": "@sosy-lab, LMU Munich", 
      "@id": "https://orcid.org/0000-0003-4832-7662", 
      "@type": "Person", 
      "name": "Dirk Beyer"
    }
  ], 
  "url": "https://zenodo.org/record/5720267", 
  "datePublished": "2021-11-23", 
  "version": "3.10", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.5720267", 
  "@id": "https://doi.org/10.5281/zenodo.5720267", 
  "@type": "SoftwareSourceCode", 
  "name": "sosy-lab/benchexec: Release 3.10"
}
1,864
114
views
downloads
All versions This version
Views 1,86428
Downloads 1146
Data volume 226.2 MB36.1 MB
Unique views 1,31325
Unique downloads 586

Share

Cite as