Solidity generation fixes

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

Major changes include:

Skip generating calls for deployment or constructor function calls.
Choose only addresses which make sense for randomly generated transactions (non-ADMIN non-MCD-contract addresses).
Correct the name used for pot pie and Pie fields in solidity generation.