Published February 11, 2019
| Version 1.18
Software
Open
sosy-lab/benchexec: Release 1.18
Description
- Add result
donethat tools can output if the standard resultstrue/false/unknownare not applicable (for example because no property was checked), and the run completed successfully. - In container mode,
--keep-system-configis no longer necessary if overlayfs is not used for/etc, and thus it is is no longer automatically implied in such cases. - Benchmark definitions support a new attribute
displayNamewith a human-readable name that will be shown in tables. - A new variable
${taskdef_name}can now be used in places where variable substitution is supported. - Table-generator supports
%as unit for numerical values. - Some improvements for score handling outside of SV-COMP (i.e., if scores are not calculated by BenchExec).
- New tool-info modules for Test-Comp'19
- Several small bug fixes and improvements
Files
sosy-lab/benchexec-1.18.zip
Files
(1.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b28966e16fe6f85dd6d355799b24d158
|
1.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/sosy-lab/benchexec/tree/1.18 (URL)