Published November 28, 2019
| Version 2.5
Software
Open
sosy-lab/benchexec: Release 2.5
Description
This release contains only a small improvement of one tool-info module.
Files
sosy-lab/benchexec-2.5.zip
Files
(1.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0565eaa18ea3b2e6f84d313e196b38ca
|
1.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/sosy-lab/benchexec/tree/2.5 (URL)