BenchExec does not work with Ubuntu 22 #2
Description
Currently there are some workaround to launch BenchExec with Ubuntu 22, but memory is still cannot be tracked and/or limited.
We need to update BenchExec version.
{{ message }}
Currently there are some workaround to launch BenchExec with Ubuntu 22, but memory is still cannot be tracked and/or limited.
We need to update BenchExec version.