Update Certora Version for 4337 Module (#502)

Closes #472 This pull request includes a small change to the `modules/4337/certora/requirements.txt` file. The change updates the version of `certora-cli` from 7.14.3 to 7.20.3.
safe-global · Dec 9, 2024 · d4f5936 · d4f5936
1 parent f0af05c
commit d4f5936
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/4337/certora/requirements.txt b/modules/4337/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.14.3
+certora-cli==7.20.3