Published December 11, 2020
| Version 3.6
Software
Open
sosy-lab/benchexec: Release 3.6
Description
- One tool-info module improved.
Files
sosy-lab/benchexec-3.6.zip
Files
(2.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d966985d8d3afd567aef668083fe27c6
|
2.4 MB | Preview Download |
Additional details
Related works
- Is documented by
- Journal article: 10.1007/s10009-017-0469-y (DOI)
- Presentation: https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (URL)
- Is supplement to
- https://github.com/sosy-lab/benchexec/tree/3.6 (URL)