SoSy-Lab Software Collection

There is a newer version of the record available.

Published November 28, 2018 | Version 1.17
Software Open

sosy-lab/benchexec: Release 1.17

Creators

  • 1. @sosy-lab, LMU Munich
  • 2. LMU Munich

Description

  • Tasks can now be defined in a YAML-based format, cf. the documentation This supports tasks with several input files, and allows providing metadata such as expected verdicts in a structured format instead of encoded in the file name. The format will be extended to handle more information in the future.
  • The wall-time limit can now be specified separately from the CPU-time limit for benchexec as command-line parameter or in the benchmark definition.
  • Support for SV-COMP'19 property memcleanup.
  • In containers, properly handle /run/systemd/resolve, which is necessary for DNS resolution on systems with systemd-resolved.
  • Avoid warnings for mountpoints below inaccessible directories in containers.
  • Improvements for handling NaN and Inf values in table-generator.
  • Log output of BenchExec will now have colors if coloredlogs is installed.
  • New tool-info modules and updates for SV-COMP'19.

Files

sosy-lab/benchexec-1.17.zip

Files (1.2 MB)

Name Size Download all
md5:260312e567989e294412d5fb3635d51d
1.2 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/sosy-lab/benchexec/tree/1.17 (URL)