Published June 28, 2024
| Version 3.23
Software
Open
sosy-lab/benchexec: Release 3.23
Description
As announced previously, this release works only on Python 3.8 and newer!
- Fix a potential crash for CPAchecker when using
/usr/bin/cpachecker.
Files
sosy-lab/benchexec-3.23.zip
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:298ae9505c23a52efdc415d780b584d0
|
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)