Open Munsio opened 2 days ago
plz rebase and then tag me again
Alright I got it to work. I also updated the follow up issue already to also add tests for --parallel
when we run docker tests on the CI.
Please check.
Also if you have a idea for testing the Parallel
stuff please tell me.
Also here is the command I used to run:
make install && eval-dev-quality evaluate --runtime docker --result-path ./docker-test --runs 5 --model symflower/symbolic-execution --model symflower/symbolic-execution --model symflower/symbolic-execution --repository golang/plain --parallel 2
When running this command you can use watch docker ps
to see that first 2 containers are started and after they finished a 3 one will run.
@bauersimon I would like to have your opinion on this one.