From e574adad902ed3c4dcffa6ebc1833f80621da519 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Fri, 8 Dec 2023 20:49:04 +0000 Subject: [PATCH] update SHA3 ci config --- .github/workflows/ci.yml | 3 ++- sha3/config/tests.config | 18 +----------------- 2 files changed, 3 insertions(+), 18 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 71a962d..afc7aeb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,7 +27,8 @@ jobs: strategy: fail-fast: false matrix: - target: [ [ 'ci-test', 'config/tests.config', 'all' ] ] + target: [ [ 'ci-test', 'config/tests.config', 'all' ] + , [ 'sha3', 'config/tests.config', 'sha3' ] ] steps: - uses: actions/checkout@v4 - name: Compile & Cache EasyCrypt diff --git a/sha3/config/tests.config b/sha3/config/tests.config index 351875b..c04ab14 100644 --- 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 Alt-Ergo@2.4