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 i on any issue or pull request to go back to the issue listing page.