There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.8

Philipp Wendler; Dirk Beyer


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4773326", 
  "title": "sosy-lab/benchexec: Release 3.8", 
  "issued": {
    "date-parts": [
      [
        2021, 
        5, 
        19
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Philipp Wendler"
    }, 
    {
      "family": "Dirk Beyer"
    }
  ], 
  "version": "3.8", 
  "type": "article", 
  "id": "4773326"
}
1,865
114
views
downloads
All versions This version
Views 1,86534
Downloads 1142
Data volume 226.2 MB5.7 MB
Unique views 1,31430
Unique downloads 581

Share

Cite as