Henrik Wachowitz

Results 1 issues of Henrik Wachowitz

I am using WSL2 with Ubuntu24.04 to run BencheExec. When trying to use the container for the tool info module I get the following error: ``` [...]benchexec/contrib/../benchexec/container.py", line 772, in...

container