There is a newer version of this record available.

Software Open Access

# sosy-lab/benchexec: Release 3.9

Philipp Wendler; Dirk Beyer

• Improved container mode to make it work more easily inside LXC containers.
• The scatter plot in HTML tables produced by table-generator can now show a linear-regression graph using ordinary least squares. A tooltip shows more information such as the regression coefficient.
• The library that is used for rendering the actual tables in the HTML tables got a major upgrade, which required some work. If you notice any regression in table behavior, please file an issue.
• One new tool-info module.

For people using the git repository of BenchExec: Immediately after the release of BenchExec 3.9, the default branch of the repository will be renamed to main. Please adjust forks and checkouts if required.

Files (6.0 MB)
Name Size
sosy-lab/benchexec-3.9.zip
md5:4d8a66f89e05a4d10f1270a15c26826e
6.0 MB
1,852
114
views