checkSignatures nr_sig=1 v=0

runtimeverification · Jan 10, 2019 · cb1b8ee · cb1b8ee
1 parent 712d621
commit cb1b8ee
Show file tree

Hide file tree

Showing 4 changed files with 41 additions and 20 deletions.
diff --git a/gnosis/external-contract-tests/ExternalContract.sol b/gnosis/external-contract-tests/ExternalContract.sol
@@ -0,0 +1,13 @@
+pragma solidity ^0.5.0;
+
+contract ExternalContract {
+
+    function isValidSignature(
+        bytes calldata _data, 
+        bytes calldata _signature)
+        external
+        returns (bool isValid)
+    {
+        isValid = false;
+    }
+} 
diff --git a/gnosis/external-contract-tests/gnosis-testing-ExternalContract.hex b/gnosis/external-contract-tests/gnosis-testing-ExternalContract.hex
@@ -0,0 +1,4 @@
+
+======= ExternalContract.sol:ExternalContract =======
+Binary of the runtime part: 
+608060405234801561001057600080fd5b5060043610610048576000357c01000000000000000000000000000000000000000000000000000000009004806320c13b0b1461004d575b600080fd5b6101196004803603604081101561006357600080fd5b810190808035906020019064010000000081111561008057600080fd5b82018360208201111561009257600080fd5b803590602001918460018302840111640100000000831117156100b457600080fd5b9091929391929390803590602001906401000000008111156100d557600080fd5b8201836020820111156100e757600080fd5b8035906020019184600183028401116401000000008311171561010957600080fd5b9091929391929390505050610133565b604051808215151515815260200191505060405180910390f35b600080905094935050505056fea165627a7a72305820e0f7eff099fa7c3378fadb78e36eb0155b2a913a00f5eefceec8242c88e84ca10029
diff --git a/gnosis/gnosis-spec.ini b/gnosis/gnosis-spec.ini
diff --git a/gnosis/spec-tmpl.k b/gnosis/spec-tmpl.k
@@ -131,16 +131,15 @@
             <nonce> 0 </nonce>
           </account>
 
-          <account>
-            // testing the external contract call in checkSignatures
-            <acctID> 9 </acctID>
-            <balance> _ </balance>
-            <code> #parseByteStack({EXTERNAL_CONTRACT_CODE}) </code>
-            <storage> _ </storage>
-            <origStorage> _ </origStorage>
-            <nonce> _ </nonce>
+         <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>