SoSy-Lab Software Collection

There is a newer version of the record available.

Published November 23, 2022 | Version 3.15
Software Open

sosy-lab/benchexec: Release 3.15

Authors/Creators

  • 1. @sosy-lab, LMU Munich

Description

  • Updated installation instructions for Debian.
    Manual installation of the package is needed because dpkg on Debian is incompatible with our PPA on Launchpad.
  • Some improvements to tool-info modules.

This release does not change the minimum supported Python version, but we would like to remind you that BenchExec will soon stop supporting Python 3.6.

Files

sosy-lab/benchexec-3.15.zip

Files (6.3 MB)

Name Size Download all
md5:2deea1ac88c227871dc3cbb54e990c03
6.3 MB Preview Download

Additional details

Related works

Is documented by
10.1007/s10009-017-0469-y (DOI)
https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (URL)