Harden Eclipse runtime proof initialization#43

mfoltz merged 2 commits into

mainmfoltz/Eclipse:mainfrom

codex/eclipse-runtime-proof-hardeningmfoltz/Eclipse:codex/eclipse-runtime-proof-hardeningCopy head branch name to clipboard