There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.8

Philipp Wendler; Dirk Beyer

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).
Files (2.9 MB)
Name Size
sosy-lab/benchexec-3.8.zip
md5:1c29800e2d5a36ba5c3e271c0232a1b5
2.9 MB Download
1,852
114
views
downloads
All versions This version
Views 1,85234
Downloads 1142
Data volume 226.2 MB5.7 MB
Unique views 1,30230
Unique downloads 581

Share

Cite as