Published March 11, 2025
| Version 3.29
Software
Open
sosy-lab/benchexec: Release 3.29
Description
- The name of the wheel and tar archives in BenchExec releases changes from
BenchExec-$VERSION*tobenchexec-$VERSION*in accordance with Python standard PEP 625 and PyPI requirements. - Some new and improved tool-info modules.
Files
sosy-lab/benchexec-3.29.zip
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:57128289bf9517bcd0a98dab3da6a372
|
5.9 MB | Preview Download |
Additional details
Related works
- Is documented by
- 10.1007/s10009-017-0469-y (DOI)
- https://www.sosy-lab.org/research/prs/Latest_ReliableBenchmarking.pdf (URL)
Software
- Repository URL
- https://github.com/sosy-lab/benchexec