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