update SHA3 config

formosa-crypto · Dec 8, 2023 · 12185ae · 12185ae
1 parent ab5542f
commit 12185ae
Showing 1 changed file with 1 addition and 17 deletions.
diff --git a/sha3/config/tests.config b/sha3/config/tests.config
@@ -3,21 +3,5 @@ bin    = easycrypt
 report = report.log
 
 [test-sha3]
-okdirs = !proof
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl -I proof/impl/perm
-
-[test-sponge]
 okdirs = proof proof/smart_counter
-args   = -I proof -I proof/smart_counter
-
-[test-jsponge]
-okdirs = proof/impl
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter
-
-[test-jperm]
-okdirs = proof/impl/perm
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl
-
-[test-libc]
-okdirs = proof/impl/libc
-args   = -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl -I proof/impl/perm
+args   = -I proof -I proof/smart_counter -p Z3 -p [email protected]