Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Bug fix in getReserves summary #46

Closed mariaKt closed 1 day ago

mariaKt commented 1 day ago

This PR addresses a minor issue with the summary of getReserves, here.

The issue was that an item (for the result of the function) was not added in the store. This also led to having to create a different index in the environment for the return value.

This is not observable, unless we inspect some of the intermediate states.