microsoft / verisol

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

Line numbers in corral.txt for functions with modifiers are wrong #167

Open ellab123 opened 5 years ago

ellab123 commented 5 years ago

If a function has a modifier, its line number in corral.txt is displayed as the line number of the modifier, not of the function itself.

To reproduce: run regression test Modifier_fail.sol, look at the line number 13 in corral.txt.