Add easycrypt project file, adding tmp directory in include path (so …

…we can include but not CI-checked).
sandbox-quantum · Nov 27, 2024 · 2fe1eb3 · 2fe1eb3
1 parent e080551
commit 2fe1eb3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/easycrypt.project b/easycrypt.project
@@ -0,0 +1,3 @@
+[general]
+timeout = 1
+idirs = /Users/matthias.meijers/Documents/Projects/FV/KEMs/EasyCrypt-KEMs/tmp