Open vmordan opened 1 year ago
Currently there are some workaround to launch BenchExec with Ubuntu 22, but memory is still cannot be tracked and/or limited.
Now memory limit is used for cgroups v1 and ignored for v2.
Currently there are some workaround to launch BenchExec with Ubuntu 22, but memory is still cannot be tracked and/or limited.