Update the default Echidna contract with another storage variable (#31)

crytic · Oct 31, 2018 · 56e109e · 56e109e
1 parent 1852c88
commit 56e109e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/etheno/echidna.py b/etheno/echidna.py
@@ -9,12 +9,16 @@
 ECHIDNA_CONTRACT = b'''pragma solidity ^0.4.24;
 contract C {
   mapping(int => int) public s;
+  int public stored = 1337;
   function save(int key, int value) public {
     s[key] = value;
   }
   function remove(int key) public {
     delete s[key];
   }
+  function setStored(int value) public {
+    stored = value;
+  }
   function f(uint, int, int[]) public { }
   function g(bool, int, address[]) public { }
   function echidna_() public returns (bool) {