search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Line number -1 error #238

Open stephensj2 opened 4 years ago

stephensj2 commented 4 years ago

In some of the error messages that print a line number, VeriSol reports a line number of -1. This can be seen in issue #237.