added python requirements file

3 years ago · f15308f763
parent f242abbf93
commit f15308f763
1 changed files with 1 additions and 0 deletions
--- a/requirements.txt
+++ b/requirements.txt
@ -0,0 +1 @@
+certora-cli==3.0.0