search

DavePearce / DevmProofGen

Dafny Evm Proof Generator (experimental)
1 stars 1 forks source link

Add cli option `--devmdir` #73

Closed DavePearce closed 1 year ago

DavePearce commented 1 year ago

This option specifies what path to use for include statements in the generated Dafny.