There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.8

Philipp Wendler; Dirk Beyer

JSON-LD ( Export

  "description": "<p>This release works only on Python 3.6 and newer!</p>\n<ul>\n<li>Add possibility to have a <code>close()</code> method to tool-info modules.</li>\n<li>The <code>test_tool_info</code> utility now has a <code>--debug</code> argument that will show the debug log, e.g., from the tool-info module.</li>\n<li>Fix bug in detection of CPU throttling during benchmarking, for which we warn if we detect it.\nThis did not work for cases with core numbers longer than one digit.</li>\n<li>Properly escape the suggested command line for running table-generator that is shown by benchexec before it terminates.</li>\n<li>Allow specifying path to libseccomp via environment variable <code>LIBSECCOMP</code>.\nThis is useful for environments like NixOS.</li>\n<li>Fix handling of empty result files in table-generator, the generated HTML tables will work again.</li>\n<li>Fix handling of empty run results when filtering rows in HTML tables.</li>\n<li>Make filters for status and textual columns in HTML tables work if filter string contains a colon.</li>\n<li>When entering a filter in the HTML tables' filter row, do not loose focus on the input field when applying the filter, such that users can continue typing.</li>\n<li>Fix invalid values shown in score-based quantile plot if some runs of a table do not have a score value.\nNow a run set is only shown in a score-based quantile plot if all values have scores (otherwise the plot would be misleading).</li>\n<li>Text selection now works as expected while an overlay window is open in the HTML tables (only text in the overlay will be selected).</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-05-19", 
  "version": "3.8", 
  "@context": "", 
  "identifier": "", 
  "@id": "", 
  "@type": "SoftwareSourceCode", 
  "name": "sosy-lab/benchexec: Release 3.8"
All versions This version
Views 1,86434
Downloads 1142
Data volume 226.2 MB5.7 MB
Unique views 1,31330
Unique downloads 581


Cite as