Published December 18, 2025
| Version 3.33
Software
Open
sosy-lab/benchexec: Release 3.33
Description
- One new tool-info module.
Files
sosy-lab/benchexec-3.33.zip
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e0b70eb713b96502258cd2e537dc2a44
|
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