SoSy-Lab Software Collection

There is a newer version of the record available.

Published July 11, 2019 | Version 1.22
Software Open

sosy-lab/benchexec: Release 1.22

Authors/Creators

  • 1. @sosy-lab, LMU Munich

Description

  • More robust handling of Ctrl+C in benchexec. For example, output files are now always fully written, whereas previously pressing Ctrl+C at the wrong time could result in truncated files. A side effect of this is that if you call benchexec.benchexec.BenchExec().start() in own Python code, you must now add a signal handler for SIGINT. The same was already true for users of RunExecutor, this is now documented.
  • Fix Ctrl+C for benchexec in container mode. In BenchExec 1.21, one would need to press Ctrl+C twice to stop benchexec.
  • Fix unreliable container mode on Python 3.7.
  • Some robustness improvements and fixes of rare deadlocks.
  • Decreased overhead of benchexec while runs are executing.

Files

sosy-lab/benchexec-1.22.zip

Files (1.2 MB)

Name Size Download all
md5:8a25de33a32fb20bdeadadaa50dd407e
1.2 MB Preview Download

Additional details

Related works

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