Pull requests: dafny-lang/dafny
Pull requests list
Add script to run Boogie with the args Dafny uses
run-deep-tests
Tells CI to run all tests
#4492
opened Aug 30, 2023 by
atomb
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.