Permalink
Browse files

moved new acct cell in .ini file

  • Loading branch information...
anvacaru committed Jan 11, 2019
1 parent 32613ee commit 13cd0e9d9cdb7255251644676410c79beb9ad508
Showing with 19 additions and 20 deletions.
  1. +2 −2 gnosis/Makefile
  2. +17 −7 gnosis/gnosis-spec.ini
  3. +0 −11 gnosis/spec-tmpl.k
@@ -7,7 +7,7 @@ SPEC_GROUP:=gnosis
SPEC_INI:=gnosis-spec.ini

KPROVE_OPTS:=--smt-prelude $(abspath $(dir $(abspath $(lastword $(MAKEFILE_LIST))))/evm.smt2) \
--deterministic-functions --cache-func-optimized --log-basic
--deterministic-functions --cache-func-optimized --log-basic --branching-allowed 0

SPEC_NAMES:=encodeTransactionData \
signatureSplit \
@@ -20,5 +20,5 @@ SPEC_NAMES:=encodeTransactionData \
checkSignatures-thres-2-sig-v2-o0-neq-o1-success \
checkSignatures-thres-2-sig-v2-o0-neq-o1-failure \
checkSignatures-thres-1-sig-v0

include ../resources/kprove.mak

Large diffs are not rendered by default.

Oops, something went wrong.
@@ -130,17 +130,6 @@
<origStorage> .Map </origStorage>
<nonce> 0 </nonce>
</account>

// TODO: move this in gnosis-spec.ini
<account>
// testing the external contract call in checkSignatures
<acctID> #parseHexWord(substrString({SIG_BYTES}, 0, 32)) </acctID>
<balance> _ </balance>
<code> #parseByteStack({EXTERNAL_CONTRACT_CODE}) </code>
<storage> _ </storage>
<origStorage> _ </origStorage>
<nonce> _ </nonce>
</account>
{ACCOUNTS}
...
</accounts>

0 comments on commit 13cd0e9

Please sign in to comment.