replaced more multi-abi

Author: gustavo-grieco

SUMMARY.md

@@ -80,7 +80,7 @@
       - [How to test bytecode-only contracts](./program-analysis/echidna/advanced/testing-bytecode.md)
       - [How to use hevm cheats to test permit](./program-analysis/echidna/advanced/hevm-cheats-to-test-permit.md)
       - [How to seed Echidna with unit tests](./program-analysis/echidna/advanced/end-to-end-testing.md)
-      - [Understanding and using `multi-abi`](./program-analysis/echidna/advanced/using-multi-abi.md)
+      - [Understanding and using `allContracts`](./program-analysis/echidna/advanced/using-all-contracts.md)
     - [Fuzzing tips](./program-analysis/echidna/fuzzing_tips.md)
     - [Frequently Asked Questions](./program-analysis/echidna/frequently_asked_questions.md)
     - [Exercises](./program-analysis/echidna/exercises/README.md)

program-analysis/echidna/exercises/Exercise-5.md

@@ -39,7 +39,7 @@ We recommend to first try without reading the following hints. The hints are in
 
 - 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).
 - The invariant that we are looking for is "the balance of the receiver contract can not decrease"
-- Read what is the [multi abi option](../basic/common-testing-approaches.md#external-testing)
+- Read what is the [allContracts option](../basic/common-testing-approaches.md#external-testing)
 - 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)
 - A config file is provided in [naivereceiver.yaml](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/hints/naivereceiver.yaml)
 

program-analysis/echidna/exercises/Exercise-6.md

@@ -39,7 +39,7 @@ Only the following contracts are relevant:
 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).
 
 - The invariant that we are looking for is "Flash loan can always be made"
-- Read what is the [multi abi option](../basic/common-testing-approaches.md#external-testing)
+- Read what is the [allContracts option](../basic/common-testing-approaches.md#external-testing)
 - The `receiveTokens` callback function must be implemented
 - A template is provided in [contracts/unstoppable/UnstoppableEchidna.sol](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/hints/contracts/unstoppable/UnstoppableEchidna.sol)
 - A config file is provided in [unstoppable.yaml](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/hints/unstoppable.yaml)

program-analysis/echidna/exercises/Exercise-8.md

@@ -38,7 +38,7 @@ Only the following contracts are relevant:
 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).
 
 - The invariant that we are looking for is "an attacker cannot get almost whole amount of rewards"
-- Read what is the [multi abi option](../basic/common-testing-approaches.md#external-testing)
+- Read what is the [allContracts option](../basic/common-testing-approaches.md#external-testing)
 - A config file is provided in [the-rewarder.yaml](https://github.com/crytic/damn-vulnerable-defi-echidna/blob/solutions/the-rewarder.yaml)
 
 ## Solution