Software Open Access

sosy-lab/benchexec: Release 1.18

Philipp Wendler; Dirk Beyer; Thomas Lemberger; Karlheinz Friedberger; Daniel Dietsch; Marek Chalupa; Williame Rocha; George Karpenkov; Peter Schrammel; Michael Tautschnig; Herbert; Thomas Bunk; altmattr; Zvonimir; IljaZakharov; Vladimír Štill; Truc Nguyen Lam; MartinNowack; Animesh Basak Chowdhury; yinliangze; Guang Chen; avritichauhan; PRITOM RAJKHOWA; Thomas Stieglmaier; Jan Mrázek; Stephan Lukasczyk; Florian Heck; Sebastian Ott; Mikhail Ramalho; LE, Ton Chanh

  • Add result done that tools can output if the standard results true/false/unknown are not applicable (for example because no property was checked), and the run completed successfully.
  • In container mode, --keep-system-config is 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 displayName with 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 (1.2 MB)
Name Size
sosy-lab/benchexec-1.18.zip
md5:b28966e16fe6f85dd6d355799b24d158
1.2 MB Download
54
4
views
downloads
All versions This version
Views 5421
Downloads 42
Data volume 4.7 MB2.5 MB
Unique views 4517
Unique downloads 21

Share

Cite as