Initialize mapping with bytes image

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed garbervetsky closed 5 years ago

garbervetsky commented 5 years ago

Addresses #142

Basic support to initialization of mappings with image of bytes. Need to add some test.

shuvendu-lahiri commented 5 years ago

All ready to merge this PR with a test case.

garbervetsky commented 5 years ago

All ready to merge this PR with a test case.

Done.