Bump certora-cli from 7.17.2 to 7.20.1

Bumps [certora-cli](https://pypi.org/project/certora-cli) from 7.17.2 to 7.20.1. --- updated-dependencies: - dependency-name: certora-cli dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
term-finance · Nov 20, 2024 · d8d5491 · d8d5491
1 parent 1eda58d
commit d8d5491
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