search

microsoft / verisol

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

Ellab nonamewarning #180

Closed ellab123 closed 5 years ago

ellab123 commented 5 years ago

Warning about names with multiple underscores suppressed. Test with names with multiple underscores added.