From ef786a7b6a8ed20677281347429e3afef0a2103b Mon Sep 17 00:00:00 2001 From: Akshay Date: Fri, 22 Sep 2023 16:56:29 +0200 Subject: [PATCH] [#95] Fix solc param in verifyManager.sh --- certora/scripts/verifyManager.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/scripts/verifyManager.sh b/certora/scripts/verifyManager.sh index 9f5f690a..e468e31f 100644 --- a/certora/scripts/verifyManager.sh +++ b/certora/scripts/verifyManager.sh @@ -1,3 +1,3 @@ #!/bin/bash -certoraRun certora/confs/run.conf --solc solc8.2 +certoraRun certora/confs/run.conf --solc solc8.18