Skip to content

Commit

Permalink
Added differential testing (#22)
Browse files Browse the repository at this point in the history
  • Loading branch information
ESultanik committed Nov 2, 2018
1 parent 88667aa commit a22b048
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -98,6 +98,15 @@ etheno --ganache
* `--balance` or `-b` sets the default balance (in Ether) to seed to each Ganache account (default is 100.0)
* `--gas-price` or `-c` sets the default gas price for Ganache (default is 20000000000)

### Differential Testing

Whenever two or more clients are run within Etheno, the differential
testing plugin will automatically be loaded. This plugin checks for a
variety of different discrepancies between the clients, such as gas
usage differences. A report is printed when Etheno exits.

This plugin can be disabled with the `--no-differential-testing` option.

### Manticore Client

Manticore—which, by itself, does not implemnent a JSON RPC interface—can be run as an Etheno client, synchronizing its accounts with Etheno’s master client and symbolically executing all transactions sent to Etheno.
Expand Down

0 comments on commit a22b048

Please sign in to comment.