Published July 11, 2023
| Version 3.17
Software
Open
sosy-lab/benchexec: Release 3.17
Description
- Even more robust handling of child cgroups created within a run
Despite the improvements from BenchExec 3.13 there could be crashes because sometimes cgroups vanish while we iterate over them. Avoiding this did not fully work, maybe due to some delays in the kernel, so now we handle this. - Actually fix handling of non-printable characters in environment variables.
The fix that was part of BenchExec 3.12 only worked if a non-printable character was the first character of the value of the environment variable.
Files
sosy-lab/benchexec-3.17.zip
Files
(6.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:62405551f51bc6d6670c4fc972e232e4
|
6.0 MB | Preview Download |
Additional details
Related works
- Is documented by
- 10.1007/s10009-017-0469-y (DOI)
- https://www.sosy-lab.org/research/prs/Latest_ReliableBenchmarking.pdf (URL)