Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Summary of `getReserves` function #45

Closed Robertorosmaninho closed 1 day ago

Robertorosmaninho commented 2 days ago

This PR adds the summarized rules regarding the body of program execution. The rule presented in this PR summarizes the body of getReserved function.

By summarizing this function, we save 826 steps. (Without it, the program took 27872 steps, and after implementing it, the program took 27062 steps)