search

microsoft / verisol

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

example and fix for #195 #254

Closed shuvendu-lahiri closed 4 years ago

shuvendu-lahiri commented 4 years ago

https://github.com/microsoft/verisol/blob/master/Test/regressions/ArrayAlloc.sol