Add --dry flag. This is useful for checking that all sanity checks pass but skips actually running the runners.
Add --dry flag. This is useful for checking that all sanity checks pass
but skips actually running the runners.

symbooglix/boogie-runner,symbooglix/boogie-runner