From be35666324afe1ce69a84a633260e7f24fd08044 Mon Sep 17 00:00:00 2001 From: Evan Sultanik Date: Wed, 31 Oct 2018 22:58:28 -0400 Subject: [PATCH] Added a note about how to run the example (#31) --- examples/ConstantinopleGasUsage/README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/examples/ConstantinopleGasUsage/README.md b/examples/ConstantinopleGasUsage/README.md index 1b37a4d..155e088 100644 --- 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