Simmo Saan

It happened a third time now, so here's the `bt` and `bt full` (although the latter is largely useless) output for all the BenchExec processes and a snippet from `htop`...

> The [list of files for the memory controller](https://www.kernel.org/doc/html/latest/admin-guide/cgroup-v2.html#memory-interface-files) provides only measurements for current memory consumption, but not for peak memory consumption, what we need. With cgroups-v1 this is supported...

By the way, I did such a conversion (to the best of my lacking Ruby packaging abilities) in [the `gem` branch of my fork](https://github.com/sim642/al-folio/commits/gem). I use it for my own...

Since there's now a quarterly release schedule, it might still be feasible to do this as follows: 1. Convert this into a gem, but develop it in a separate repository,...

The `test_overflow.i` task wasn't in SV-COMP 2024 as such: at that sv-benchmarks repo tag, it didn't have a `no-overflow` property. This was added later in https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1526 to fix https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/issues/1405. Since...

It's not for a larger audience. It's just so it's possible for a newcomer to Goblint to actually follow it. Right now it cannot be given to a student to...

> What shall we do in cfgTools.ml if we can't access GobConfig? What does that mean? `CfgTools` opens `GobConfig` and uses `get_bool` in a bunch of places just fine.

Regarding the idea of adjusting indexes to types to make this work correctly: it's done for casts in `ValueDomain.cast_addr` it seems, but when valuating `PlusPI`, the type is currently ignored...

There's also this from some months ago: https://github.com/github/roadmap/issues/528. The beta does not appear to be public though. Just having the CI wouldn't be very useful though, because it doesn't help...

The issue was introduced by #1076. It's not just with the null byte array domain because it also happens with that domain disabled. The PR also modified `str*` function handling...