Added the Constantinople gas usage example (#31)

crytic · Nov 1, 2018 · b2bdd53 · b2bdd53
1 parent 2626d92
commit b2bdd53
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/examples/ConstantinopleGasUsage/constantinople.sol b/examples/ConstantinopleGasUsage/constantinople.sol
@@ -0,0 +1,15 @@
+pragma solidity ^0.4.24;
+contract C {
+  int public stored = 1337;
+  function setStored(int value) public {
+    stored = value;
+  }
+  function increment() public {
+    int newValue = stored + 1;
+    stored = 0;
+    address(this).call(bytes4(keccak256("setStored(int256)")), newValue);
+  }
+  function echidna_() public returns (bool) {
+    return true;
+  }
+}
diff --git a/examples/ConstantinopleGasUsage/run_etheno.sh b/examples/ConstantinopleGasUsage/run_etheno.sh
@@ -0,0 +1 @@
+etheno --echidna --fuzz-limit 20 --fuzz-contract constantinople.sol --accounts 2 --parity --geth --constantinople --log-dir log
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		etheno --echidna --fuzz-limit 20 --fuzz-contract constantinople.sol --accounts 2 --parity --geth --constantinople --log-dir log