Permalink
Browse files

wip

  • Loading branch information...
daejunpark committed Jan 11, 2019
1 parent 27f137a commit b65793de6f062a50b2c00bd3d49728f02363d76c
Showing with 1 addition and 0 deletions.
  1. +1 −0 gnosis-imap/gnosis-imap-spec.ini
@@ -1054,6 +1054,7 @@ pc: {PC_LOOP_HEAD} => 18693
dynamic_start: SIGS_LOC +Int #sigS({SIGS_BUF}, I) +Int 32
contract_sig_len: #asWord(#bufSeg({SIGS_BUF}, #sigS({SIGS_BUF}, I), 32))
trailing_zero_start: NEXT_LOC +Int #ceil32(TX_DATA_LEN) +Int 132 +Int {CONTRACT_SIG_LEN}
ensures:

[execTransaction]
k: (#execute => #halt) ~> _

0 comments on commit b65793d

Please sign in to comment.