add easycrypt project file

The configuration follows the one specified in Makefile. Also see: EasyCrypt/easycrypt#468
jjanku · Sep 10, 2024 · ddbad72 · ddbad72
1 parent f3cf79c
commit ddbad72
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/easycrypt.project b/easycrypt.project
@@ -0,0 +1,10 @@
+[general]
+provers = CVC4
+provers = Z3
+provers = Alt-Ergo
+
+timeout = 20
+
+rdirs = ./proof/
+rdirs = ./easycrypt-zk-code/
+idirs = Jasmin:./proof/eclib/