Published July 21, 2022
| Version 3.12
Software
Open
sosy-lab/benchexec: Release 3.12
Description
- Compatibility with Python 3.10
Note that it is expected that this is one of the last releases that supports Python 3.6. - Export of statistics as LaTex commands in table-generator:
All those values that exist in the statistics table on the Summary tab of our HTML tables can be exported as a series of LaTeX commands with--format=statistics-tex. These can then be included in a paper and the commands can be used to retrieve the statistics values (documentation). The scriptcontrib/statistics-tex.pythat provided a subset of this functionality so far is removed. Thanks to @Sowasvonbot for implementing this! - Slight improvements for mounting overlayfs:
- Avoid redundant mount points that could prevent certain nested mounts.
- Avoid a warning in the kernel log.
- Fix handling of non-printable characters in environment variables.
- Slight improvements for the HTML tables:
- Use of color for categories in filters
- More informative tooltip in quantile plots (thanks @leventeBajczi)
- Added and improved tool-info modules
Files
sosy-lab/benchexec-3.12.zip
Files
(6.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7f4ebdf9eb42ce0160ff21ccda63e2f1
|
6.3 MB | Preview Download |
Additional details
Related works
- Is documented by
- 10.1007/s10009-017-0469-y (DOI)
- https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (URL)