Published February 16, 2024
| Version 3.21
Software
Open
sosy-lab/benchexec: Release 3.21
Description
table-generator
computes scores according to SV-COMP'24 scoring scheme.
This changes only the scoring for witness-validation results.- Support for property files at HTTP(S) URLs in
table-generator
.
Tables can already be produced not only from local result files, but also from files that are downloaded on the fly. Now this also works for results with property files. - Fix for tool-info module
witnesslint
.
Files
sosy-lab/benchexec-3.21.zip
Files
(5.8 MB)
Name | Size | Download all |
---|---|---|
md5:68007ee8242928de9b01a4817fbff0e8
|
5.8 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)