search

microsoft / verisol

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

Initializing byte values in variables, arrays and mappings #142

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

mapping (address => byte32) a;

a is not zero initialized.