From 73b2677f0388278b480c63ebfb1c5214761491a2 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 27 Sep 2022 15:07:37 +0200 Subject: [PATCH] Tests: also include the crypto_kem directory --- proof/tests.config | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/proof/tests.config b/proof/tests.config index 4f5ce31b..bf022139 100644 --- a/proof/tests.config +++ b/proof/tests.config @@ -3,5 +3,4 @@ bin = easycrypt args = -timeout 30 -max-provers 2 -p Z3 -p Alt-Ergo [test-all] -okdirs = !common !crypto_hash !crypto_onetimeauth !crypto_stream !crypto_verify !crypto_xof -exclude = crypto_kem +okdirs = !common !crypto_hash !crypto_kem !crypto_onetimeauth !crypto_stream !crypto_verify !crypto_xof