Log exit codes during verification#654

texastony wants to merge 1 commit intomain-1.xsmithy-lang/smithy-dafny:main-1.xfrom

track-exit-codessmithy-lang/smithy-dafny:track-exit-codesCopy head branch name to clipboard