Update dependency certora-cli to v7

OpenZeppelin · Mar 15, 2024 · a831eb4 · a831eb4
1 parent e682c7e
commit a831eb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/requirements.txt b/requirements.txt
@@ -1 +1 @@
-certora-cli==4.13.1
+certora-cli==7.0.7