Philipp Wendler

Yes, this is the current state of the proposal. There has been only one alternative presented so far, which is to continue giving a C file to BenchExec and let...

What do you mean by "relative" properties?

Regarding your example: `categories` is out of the current proposal AFAIK. But anyway, there should be a schema and a versioning scheme for the yaml files coming out of sosy-lab/sv-benchmarks#213,...

Looks nice. Whether it is useful in practice you probably know better than me :-) What does orange `true` and `false` mean? Typically `true`/`false` are either green or red. Maybe...

A tooltip would certainly be a good idea. Maybe even implement this independently in a separate PR for all status columns? (Can be done afterwards, as well, but you could...

Idea: another overlay pane named "raw data" reachable via the header, with links to all result XML files, logfiles ZIPs, CSV version of the table (if generated), and all information...

Hopefully not necessary after #492.

Yes, we are aware that this is problematic, but unfortunately we have not yet found a good solution, and it would be backwards incompatible so it needs good planning. It...

BenchExec does create unique cgroup names and would never put different runs into the same cgroup. If you can reproduce other behavior, please file a separate bug. For the original...

Another solution would be to open a file descriptor for accessing the directory in the container before starting the tool. As long as we keep this file descriptor open, we...