Philipp Wendler
Philipp Wendler
If I run tests with `systemd-run --user --scope -p Delegate=yes python3 setup.py test`, I get a linear nesting of cgroups: ``` ├── runexec_main_js04eizh │ ├── runexec_main_p3_3o8eb │ │ ├── runexec_main_6q0udc79...
The next work items are to test all possible situations and further improve the error handling (e.g., having error messages that explain the user exactly what the problem is and...
Hm, unfortunately there are several problems with this module, the most important that it is under GPL, and so we cannot really use it in BenchExec. I googled and found...
The problem for overlay mounts affects all directories that are non-leaf mount points (i.e., directories below which there is another mount point somewhere). This means that for most people a...
The issue for defining a formal schema is now at https://gitlab.com/sosy-lab/software/task-definition-format/-/issues/1. After this is available, we should consider using it in BenchExec to validate task-definition files when opening them.
Good suggestion! Unfortunately, it seems that [the component we use for showing the lines and markers](https://github.com/uber/react-vis/blob/master/docs/line-mark-series.md) does not support this out of the box. There is an alternative [low-level customizable...
Would be nice, but the standard XML library for Python does not support this AFAIK. There are other libraries that support this, and we use them in tests to ensure...
This would mean that a file that is accepted for some users would be rejected for other users. That doesn't seem like good behavior. We could implement a warning, but...
>> Accepting input that is not allowed by definition is called undefined behavior It is not undefined like in C. We take care that input files are upwards compatible (otherwise...
This is related to #13. We are aware of the issue with environment variables, but it is not easy to decide what to do. Randomized padding would make sense only...