Philipp Wendler
Philipp Wendler
`ImmutableIntArray` and its counterparts are a nice abstraction over primitive arrays that do not only offer the benefit of immutability, but also provide the nice ability to create a sub-array...
When using the `xml.dom.minidom` API, pytype 2022.02.17 fails. With 2022.2.8 this still worked. Minimal example: ```python import xml.dom.minidom xml.dom.minidom.parseString("") ``` Output from pytype: ``` Computing dependencies Analyzing 1 sources with...
Classes that use `abc.ABCMeta` as meta class have a method named `register` that can be used to register arbitrary types as subclasses of the given class (as class decorator or...
Currently the tests are executed with `nose`, but this framework is dead. We should switch to a new framework, for example `nose2` or `py.test`. It seems `py.test` has quite useful...
We have [some documentation](https://github.com/sosy-lab/benchexec/blob/main/doc/INSTALL.md#setting-up-cgroups-in-a-docker-container) for using BenchExec in a Docker container. Podman is a more modern alternative, and it might not have the problems that Docker containers have. So we...
If we create nested containers (e.g., with `containerexec`) and use overlayfs for some directory in both containers, it looks like the inner `containerexec` mounts two instances of overlayfs for the...
BenchExec detects out-of-memory situations that occur because a benchmarked process violates the configured memory limit, and sets the appropriate termination reason in its output. However, we do not detect cases...
When opening the table tab of our HTML tables with a defined status/category filter, e.g., via [this link](https://sosy-lab.github.io/benchexec/example-table/svcomp-simple-cbmc-cpachecker.table.html#/table?filter=0(0*status*(category(in(correct)))))), the drop-down filter does not correctly display the defined filter, it displays...
When merging run sets with a `` tag, the table with the benchmark environment contains all the individual values for run-set names, command-line options, etc. separated by `;`, like this:...
`runexec` could report how many files were created by a run, and how many of these matched the result-files pattern and were copied to the output directory. This could be...