There is a newer version of the record available.

Published June 25, 2019 | Version 1.21

sosy-lab/benchexec: Release 1.21

  • 1. @sosy-lab, LMU Munich

Description

This release contains only a few bug fixes:

  • Forwarding signals to the benchmarked process (and thus, stopping runs via Ctrl+C), was broken on Python 2.
  • If the freezer cgroup was available but mounted in a separate hierarchy, it was not used reliably as protection against fork bombs when killing processes.
  • Since BenchExec 1.19, an exception would occur if a non-existing command was started in container mode.
  • Since BenchExec 1.19, copying output files from a container would occur while subprocesses are still running and would be counted towards the walltime limit. This is fixed, although subprocesses will still be running if the freezer cgroup is not available (cf. #433).

Files

sosy-lab/benchexec-1.21.zip

Files (1.2 MB)

Name Size Download all
md5:0c12e3c30a4329baa0d03a52eda465a8
1.2 MB Preview Download

Additional details

Related works