Skip to content

Commit 3ac26b9

Browse files
docs(exercise 5): add extra config hint
1 parent 48b50e1 commit 3ac26b9

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

program-analysis/echidna/Exercise-5.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,8 @@ Only the following contracts are relevant:
3636

3737
We recommend to first try without reading the following hints. The hints are in the [`hints` branch](https://github.com/crytic/damn-vulnerable-defi-echidna/tree/hints).
3838

39-
- The invariant that we are looking for is "the balance of the receiver contract can not decrease"
39+
- Remember that sometimes you have to supply the test contract with Ether. Read more in [the Echidna wiki](https://github.com/crytic/echidna/wiki/Config) and look at [the default config setup](https://github.com/crytic/echidna/blob/master/tests/solidity/basic/default.yaml).
40+
- The invariant that we are looking for is "the balance of the receiver contract can not decrease"
4041
- Read what is the [multi abi option](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/common-testing-approaches.md#external-testing)
4142
- A template is provided in [contracts/naive-receiver/NaiveReceiverEchidna.sol](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/hints/contracts/naive-receiver/NaiveReceiverEchidna.sol)
4243
- A config file is provided in [naivereceiver.yaml](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/hints/naivereceiver.yaml)

0 commit comments

Comments
 (0)