CI: unit tests

In the automated tests, add a section `unit`for unit tests. The unit tests are checked by the CI. They can be run using `make unit`.
EasyCrypt · Dec 11, 2023 · bbe5e6d · bbe5e6d
1 parent 9c1ec6b
commit bbe5e6d
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -69,7 +69,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        target: [stdlib, examples]
+        target: [unit, stdlib, examples]
     steps:
     - uses: actions/checkout@v3
     - name: Update OPAM & EasyCrypt dependencies

diff --git a/Makefile b/Makefile
@@ -39,15 +39,16 @@ install: build
 uninstall:
 	$(DUNE) uninstall
 
-check: stdlib examples
+unit: build
+	$(CHECK) unit
 
 stdlib: build
 	$(CHECK) prelude stdlib
 
 examples: build
 	$(CHECK) examples mee-cbc
 
-check: stdlib examples
+check: unit stdlib examples
 	@true
 
 clean:

diff --git a/config/tests.config b/config/tests.config
@@ -12,3 +12,6 @@ exclude = examples/MEE-CBC examples/old examples/old/list-ddh !examples/incomple
 
 [test-mee-cbc]
 okdirs = examples/MEE-CBC
+
+[test-unit]
+okdirs = tests
diff --git a/tests/req_allcore.ec b/tests/req_allcore.ec
@@ -0,0 +1 @@
+require import AllCore.