Regression new updated expected output#1044

ehildenb wants to merge 4 commits into

masterruntimeverification/pyk:masterfrom

regression-new-proofsruntimeverification/pyk:regression-new-proofsCopy head branch name to clipboard