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
1.2 MB Download
All versions This version
Views 5421
Downloads 42
Data volume 4.7 MB2.5 MB
Unique views 4517
Unique downloads 21


Cite as