issues
search
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
Improve random testing
#186
Closed
ehildenb
closed
4 years ago
ehildenb
commented
4 years ago
Handles maps with
CDPID
s as keys in generating assertions.
Switches to generating code for
FInt
correctly.
Adds functions
solidityArgs
and
solidityKeys
which make it easier to build Solidity function calls for both method calls and assertion building.
Refactors
stateAssertions
to be recursive, so that traversing the existing state and building assertions is simpler.
CDPID
s as keys in generating assertions.FInt
correctly.solidityArgs
andsolidityKeys
which make it easier to build Solidity function calls for both method calls and assertion building.stateAssertions
to be recursive, so that traversing the existing state and building assertions is simpler.