search

DavePearce / DevmProofGen

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

Fix newlines in target file #58

Open DavePearce opened 1 year ago

DavePearce commented 1 year ago

Currently, the system crashes if there is a newline in the target file.