Tests: also include the crypto_kem directory

formosa-crypto · Sep 27, 2022 · 73b2677 · 73b2677
1 parent bad7ac3
commit 73b2677
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