4773326
doi
10.5281/zenodo.4773326
oai:zenodo.org:4773326
user-sosy-lab-software
Dirk Beyer
@sosy-lab, LMU Munich
sosy-lab/benchexec: Release 3.8
Philipp Wendler
@sosy-lab, LMU Munich
doi:10.1007/s10009-017-0469-y
url:https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf
info:eu-repo/semantics/openAccess
Apache License 2.0
http://www.apache.org/licenses/LICENSE-2.0
<p>This release works only on Python 3.6 and newer!</p>
<ul>
<li>Add possibility to have a <code>close()</code> method to tool-info modules.</li>
<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>
<li>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.</li>
<li>Properly escape the suggested command line for running table-generator that is shown by benchexec before it terminates.</li>
<li>Allow specifying path to libseccomp via environment variable <code>LIBSECCOMP</code>.
This is useful for environments like NixOS.</li>
<li>Fix handling of empty result files in table-generator, the generated HTML tables will work again.</li>
<li>Fix handling of empty run results when filtering rows in HTML tables.</li>
<li>Make filters for status and textual columns in HTML tables work if filter string contains a colon.</li>
<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>
<li>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).</li>
<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>
</ul>
Zenodo
2021-05-19
info:eu-repo/semantics/other
1163552
user-sosy-lab-software
3.8
1689084888.619838
2856115
md5:1c29800e2d5a36ba5c3e271c0232a1b5
https://zenodo.org/records/4773326/files/sosy-lab/benchexec-3.8.zip
public
10.1007/s10009-017-0469-y
Is documented by
doi
https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf
Is documented by
url
10.5281/zenodo.1163552
isVersionOf
doi