Failed to configure container ... overlay mount for '/' failed

[igouy]

runexec 3.22

Ubuntu 24.04 LTS

Linux x64 6.8.0-36-generic #36-Ubuntu SMP PREEMPT_DYNAMIC Mon Jun 10 10:49:14 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux

/opt/tmp/benchexec$  runexec ls
2024-06-27 14:50:11 - INFO - Starting command ls
2024-06-27 14:50:11 - INFO - Writing output to output.log
2024-06-27 14:50:11 - CRITICAL - Failed to configure container with operation 'raise OSError(': [Errno 22] Creating overlay mount for '/' failed: Invalid argument. Please use other directory modes, for example '--read-only-dir /'.
2024-06-27 14:50:11 - CRITICAL - Cannot execute 'ls': execution in container failed, check log for details.
terminationreason=failed

I'm must trying to get anything to work and this seems to be as far as I can get.

/opt/tmp/benchexec$ python3 -m benchexec.check_cgroups 
/opt/tmp/benchexec$

[PhilippWendler]

This is the same as #776. Please choose a different directory mode to work around a kernel limitation. The recommendation is to start with --read-only-dir / (as mentioned in the error message) and then adjust the directory mode for those directories where you need write access, as explained here.