Merge pull request #10 from term-finance/dependabot/pip/certora-cli-7…

….20.1 Bump certora-cli from 7.17.2 to 7.20.1
term-finance · Nov 20, 2024 · 54c557d · 54c557d
2 parents 1eda58d + d8d5491
commit 54c557d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/requirements.txt b/requirements.txt
@@ -1,2 +1,2 @@
 slither-analyzer==0.10.4
-certora-cli==7.17.2
+certora-cli==7.20.1