Added a note about how to run the example (#31)

crytic · Nov 1, 2018 · be35666 · be35666
1 parent 5b748c6
commit be35666
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/examples/ConstantinopleGasUsage/README.md b/examples/ConstantinopleGasUsage/README.md
@@ -8,6 +8,9 @@ related to how clients interpreted [a new
 EIP](https://eips.ethereum.org/EIPS/eip-1283) changing how gas refunds
 are accounted across calls.
 
+Run this example by using the included
+[`run_etheno.sh`](run_etheno.sh) script.
+
 This example uses [Echidna](https://github.com/trailofbits/echidna), a
 property-based fuzzer, so results are nondeterminstic. But generally
 running this example should result in at least one failed differential