From d9e3bbca354704b3d4a6cc59ca58401ea108fa60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Thu, 10 Aug 2023 11:06:25 +0100 Subject: [PATCH] [ci] switch to nix-based CI --- sha3/config/tests.config | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/sha3/config/tests.config b/sha3/config/tests.config index 580b3a8..351875b 100644 --- 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