Skip to content

Commit

Permalink
docs: fix name of the solc binaries for Certora (#427)
Browse files Browse the repository at this point in the history 
Co-authored-by: MathisGD <[email protected]>
  • Loading branch information
@QGarchery @MathisGD
QGarchery and MathisGD authored Aug 19, 2024
1 parent ad91bbf commit cc6b016
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions certora/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ This folder contains the verification of MetaMorpho using CVL, Certora's Verific

The code is compiled using 2 versions of solidity, which must be installed to run the verification as:

- `solc` for solidity compiler version 0.8.21 which is used for compiling MetaMorpho
- `solc8.19` for solidity compiler version 0.8.19 which is used for compiling Morpho Blue.
- `solc-0.8.21` for solidity compiler version 0.8.21 which is used for compiling MetaMorpho
- `solc-0.8.19` for solidity compiler version 0.8.19 which is used for compiling Morpho Blue.

The verification is run on modified source files, which are made available by running:

Expand Down

0 comments on commit cc6b016

Please sign in to comment.