Allow compilation of a <file>:<module> via --add-module.#990

automergerpr-permission-manager[bot] merged 6 commits intomasterruntimeverification/mir-semantics:masterfrom

mk/lemmas-conditional-compilationruntimeverification/mir-semantics:mk/lemmas-conditional-compilationCopy head branch name to clipboard