Fix some leftover echidna-test -> echidna

Author: 0xPhaze

program-analysis/echidna/advanced/collecting-a-corpus.md

@@ -33,7 +33,7 @@ This small example forces Echidna to find certain values to change a state varia
 We can run Echidna to verify this:
 
 ```
-echidna-test magic.sol
+echidna magic.sol
 ...
 
 echidna_magic_values: passed! 🎉
@@ -60,7 +60,7 @@ corpusDir: "corpus-magic"
 Now we can run our tool and check the collected corpus:
 
 ```
-echidna-test magic.sol --config config.yaml
+echidna magic.sol --config config.yaml
 ```
 
 Echidna still cannot find the correct magic value. We can verify where it gets stuck reviewing the `corpus-magic/covered.*.txt` file:
@@ -145,7 +145,7 @@ cp corpus-magic/coverage/2712688662897926208.txt corpus-magic/coverage/new.txt
 We will modify `new.txt` to call `magic(42,129,333,0)`. Now, we can re-run Echidna:
 
 ```
-echidna-test magic.sol --config config.yaml
+echidna magic.sol --config config.yaml
 ...
 echidna_magic_values: failed!💥
   Call sequence:

program-analysis/echidna/advanced/end-to-end-testing.md

@@ -156,14 +156,14 @@ cryticArgs: ["--truffle-build-directory", "app/src/contracts/"] # needed by driz
 Then, running Echidna shows the results immediately:
 
 ```
-echidna-test . --contract E2E --config echidna.yaml
+echidna . --contract E2E --config echidna.yaml
 ...
 crytic_const_storage: failed!💥
   Call sequence:
     (0x871dd7c2b4b25e1aa18728e9d5f2af4c4e431f5c).set(0) from: 0x0000000000000000000000000000000000010000
 ```
 
-For this last step, make sure you are using `.` as a target for `echidna-test`. If you use the path to the `E2E.sol` file instead, then Echidna will not be able get information from all the deployed contracts to call the `set(uint256)` function and the property will never fail.
+For this last step, make sure you are using `.` as a target for `echidna`. If you use the path to the `E2E.sol` file instead, then Echidna will not be able get information from all the deployed contracts to call the `set(uint256)` function and the property will never fail.
 
 ## Key considerations: