[ci] switch to nix-based CI

formosa-crypto · Dec 8, 2023 · d9e3bbc · d9e3bbc
1 parent 4801702
commit d9e3bbc
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/sha3/config/tests.config b/sha3/config/tests.config
@@ -1,18 +1,23 @@
 [default]
-bin  = easycrypt
-args = -timeout 30 -I Jasmin:jasmin/eclib -I proof -I proof/smart_counter -I proof/impl -I proof/impl/perm
+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