Skip to content

Commit

Permalink
Add --build-info to forge build command (#255)
Browse files Browse the repository at this point in the history
  • Loading branch information
karmacoma-eth authored Mar 1, 2024
1 parent f5684c3 commit 6979a11
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/halmos/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -1399,6 +1399,7 @@ def _main(_args=None) -> MainResult:
build_cmd = [
"forge", # shutil.which('forge')
"build",
"--build-info",
"--root",
args.root,
"--extra-output",
Expand Down

0 comments on commit 6979a11

Please sign in to comment.