Start refactoring the internals of RunnerBase in preparation for splitting out support for multiple backends (e.g. SubprocessPython, Docker).
Start refactoring the internals of RunnerBase in preparation for
splitting out support for multiple backends (e.g. SubprocessPython,
Docker).

symbooglix/boogie-runner,symbooglix/boogie-runner