Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Mappings #9

Closed mariaKt closed 1 month ago

mariaKt commented 1 month ago

This PR addresses the mappings issue. Other than testing, there was no additional work needed at this time. I added a test contract with mappings and one with arrays.

Note: the constructor, even empty, is needed and could not be skipped at this time, otherwise execution would be stuck.