From 2d07476b59804dc209c4b600c88e4780b5e2a1c5 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Fri, 16 Aug 2024 18:23:47 +0200 Subject: [PATCH] docs: fix name of the solc binaries for Certora --- certora/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/certora/README.md b/certora/README.md index c2156b68..86f0256c 100644 --- a/certora/README.md +++ b/certora/README.md @@ -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: