Array copy from parameter to storage broken due to printing - Githubissues

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Array copy from parameter to storage broken due to printing #133

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Example here