Published November 27, 2023
| Version 3.20
Software
Open
sosy-lab/benchexec: Release 3.20
Description
- Two tool-info modules improved.
Files
sosy-lab/benchexec-3.20.zip
Files
(6.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b11184e50099784b8c41fd403a91ce09
|
6.0 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)