run format

Author: gustavo-grieco

program-analysis/echidna/advanced/working-with-libraries.md

@@ -9,12 +9,12 @@
 
 ## Introduction
 
-One important feature used Solidity introduced a brand new concept of smart contract library. While this feature is not extremely popular, a good amount of contracts use them to structure code and reduce the amount of bytecode deployed. 
-Before continue, it is very recommended to review [the official Solidity documentation](https://docs.soliditylang.org/en/v0.8.19/contracts.html#libraries) to make sure 
+One important feature used Solidity introduced a brand new concept of smart contract library. While this feature is not extremely popular, a good amount of contracts use them to structure code and reduce the amount of bytecode deployed.
+Before continue, it is very recommended to review [the official Solidity documentation](https://docs.soliditylang.org/en/v0.8.19/contracts.html#libraries) to make sure
 you understand how libraries are created and deployed. When a user creates a library, Solidity will do one of these two options:
 
-* If all the functions are internal, the library is compiled into bytecode and added into the contracts that use it.
-* If there are some external functions, the library should be deployed into some address. Finally, the bytecode calling the library should be linked. 
+- If all the functions are internal, the library is compiled into bytecode and added into the contracts that use it.
+- If there are some external functions, the library should be deployed into some address. Finally, the bytecode calling the library should be linked.
 
 If your libraries only contain internal functions, then Echidna will work correctly and you don't need to do anything extra to start your testing (you can skip the rest of the tutorial).
 However, if you need to use libraries that needed to be deployed (and the bytecode needs to be linked), then you will need this tutorial.
@@ -34,24 +34,20 @@ $ npm i
 Libraries are contracts that need to be deployed first. Fortunately, Echidna allows us to do that easily, using the `deployContracts` option. In the metacoin example, we can use:
 
 ```yaml
-deployContracts: [
-  ["0x1f", "ConvertLib"],
-]
+deployContracts: [["0x1f", "ConvertLib"]]
 ```
 
 The address where the library should be deployed is arbitrary, but it should be the same as the one in the used during the linking process.
 
 ## Linking libraries
 
-Before a contract can use a deployed library, its bytecode requires to be linked. This procedure requries to replace a particular string place holder 
+Before a contract can use a deployed library, its bytecode requires to be linked. This procedure requries to replace a particular string place holder
 in the bytecode by the address of the deployed library. Normally, either solc or the compilation framework (e.g. truffle) will take care of this.
-However, in our case, we will use `crytic-compile`, since it is easier to handle all cases from different frameworks just adding one new argument 
+However, in our case, we will use `crytic-compile`, since it is easier to handle all cases from different frameworks just adding one new argument
 to pass to `crytic-compile` from Echidna:
 
 ```yaml
-cryticArgs: [
-  "--compile-libraries=(ConvertLib,0x1f)",
-]
+cryticArgs: ["--compile-libraries=(ConvertLib,0x1f)"]
 ```
 
 Going back to the example, if we have both config options in a single config file (`echidna.yaml), we can run the metacoin contract 
@@ -71,7 +67,7 @@ We can use the coverage report to verify that function using the library (`getBa
 
 However, the code of library itself will not have their coverage displayed correctly:
 
-``` 
+```
  6 |     | library ConvertLib{
  7 |     |     function convert(uint amount, uint conversionRate) public pure returns (uint convertedAmount)
  8 |     |     {