There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.8

Philipp Wendler; Dirk Beyer


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Philipp Wendler</dc:creator>
  <dc:creator>Dirk Beyer</dc:creator>
  <dc:date>2021-05-19</dc:date>
  <dc:description>This release works only on Python 3.6 and newer!

Add possibility to have a close() method to tool-info modules.
The test_tool_info utility now has a --debug argument that will show the debug log, e.g., from the tool-info module.
Fix bug in detection of CPU throttling during benchmarking, for which we warn if we detect it.
This did not work for cases with core numbers longer than one digit.
Properly escape the suggested command line for running table-generator that is shown by benchexec before it terminates.
Allow specifying path to libseccomp via environment variable LIBSECCOMP.
This is useful for environments like NixOS.
Fix handling of empty result files in table-generator, the generated HTML tables will work again.
Fix handling of empty run results when filtering rows in HTML tables.
Make filters for status and textual columns in HTML tables work if filter string contains a colon.
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.
Fix invalid values shown in score-based quantile plot if some runs of a table do not have a score value.
Now a run set is only shown in a score-based quantile plot if all values have scores (otherwise the plot would be misleading).
Text selection now works as expected while an overlay window is open in the HTML tables (only text in the overlay will be selected).
</dc:description>
  <dc:identifier>https://zenodo.org/record/4773326</dc:identifier>
  <dc:identifier>10.5281/zenodo.4773326</dc:identifier>
  <dc:identifier>oai:zenodo.org:4773326</dc:identifier>
  <dc:relation>doi:10.1007/s10009-017-0469-y</dc:relation>
  <dc:relation>url:https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf</dc:relation>
  <dc:relation>doi:10.5281/zenodo.1163552</dc:relation>
  <dc:relation>url:https://zenodo.org/communities/sosy-lab-software</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://opensource.org/licenses/Apache-2.0</dc:rights>
  <dc:title>sosy-lab/benchexec: Release 3.8</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
1,864
114
views
downloads
All versions This version
Views 1,86434
Downloads 1142
Data volume 226.2 MB5.7 MB
Unique views 1,31330
Unique downloads 581

Share

Cite as