Skip to content
GitLab

Run tests in separate containers using containerexec

Merged Thomas Lemberger requested to merge 2-use-runexec-for-isolated-test-execution into master

containerexec is part of benchexec, so benchexec is a new dependency now.

Closes #2