We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 27d3057 commit cc345e5Copy full SHA for cc345e5
1 file changed
certora/requirements.txt
@@ -1 +1 @@
1
-certora-cli==7.22.2
+certora-cli==7.26.0
0 commit comments