Drop /nologo option which does not exist in Boogie and Dafny anymore - Githubissues

boogie-org / boogie-friends

Tools for interacting with Boogie

45 stars 13 forks source link

Drop /nologo option which does not exist in Boogie and Dafny anymore #32

Closed bkragl closed 3 years ago

bkragl commented 3 years ago

See https://github.com/boogie-org/boogie/pull/316 https://github.com/dafny-lang/dafny/pull/974