Merge pull request #12 from formosa-crypto/ec-check-crypto_kem

Tests: also include the crypto_kem directory
formosa-crypto · Oct 4, 2022 · 04f58b3 · 04f58b3
2 parents bad7ac3 + 73b2677
commit 04f58b3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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