1010
1111## Introduction
1212
13- We will see how to use ETH during the fuzzing fuzzed. The following smart contract will be used as example:
13+ We will see how to use ether during the fuzzing fuzzed. The following smart contract will be used as example:
1414
1515``` solidity
1616contract C {
@@ -24,7 +24,7 @@ contract C {
2424}
2525```
2626
27- This code forces Echidna to send a particular amount of eth as value in the ` pay ` function.
27+ This code forces Echidna to send a particular amount of ether as value in the ` pay ` function.
2828Echidna will do this for each payable function in the target function (or any contract if ` allContracts ` is enabled):
2929
3030```
@@ -40,15 +40,15 @@ Echidna will show the value amount in hexadecimal.
4040## Controlling the amount of ether in payable functions
4141
4242The amount of ether to send in each payable function will be randomly selected, but with a maximum value determined by the ` maxValue ` value
43- with a default of 100 eth per transaction:
43+ with a default of 100 ether per transaction:
4444
4545``` yaml
4646maxValue : 100000000000000000000
4747` ` `
4848
49- This means that each transaction will contain, at most, 100 eth in value. However, there is no maximum that will be used in total.
49+ This means that each transaction will contain, at most, 100 ether in value. However, there is no maximum that will be used in total.
5050The maximum amount to receive will be determined by the number of transactions. If you are using 100 transactions (` --seq-len 100`),
51- then the maximum amount of ether in transactions will be 100 \* 100 eth .
51+ then the maximum amount of ether in transactions will be 100 \* 100 ether .
5252
5353Keep in mind that the balance of the senders (e.g. `msg.sender.balance`) is a fixed value that will NOT change between transactions.
5454This value is determined by the following config option :
0 commit comments