Upgrade to benchexec 3.19 and add cgroups v2 tests
Upgrade benchexec to version 3.19. As of 3.18 cgroups v1 is no longer necessary. CoVeriTeam should welcome this change and also stop being reliant on the deprecated cgroups version.
Todo:
-
Upgrade the benchexec wheel -
Add a CI stage to test CoVeriTeam Runs with cgroups v2
Edited by Stefan Romic