summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-03-07 13:46:55 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit051e2a19f3268d272a0acd0425d2107ebea020c5 (patch)
tree2ad36d00054ac891e48cb35c4dc1940433c5e707 /Makefile
parent463cbb90c93ac2e825048d685c254431b99c4d96 (diff)
Reorganize the Lean tests and extract the Polonius tests to Lean
Diffstat (limited to '')
-rw-r--r--Makefile14
1 files changed, 7 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 4c5a12e8..c6fb7b46 100644
--- a/Makefile
+++ b/Makefile
@@ -117,14 +117,14 @@ trans-no_nested_borrows trans-paper: \
OPTIONS += -test-units -test-trans-units -no-split-files -no-state
trans-no_nested_borrows trans-paper: SUBDIR := misc
tfstar-no_nested_borrows tfstar-paper:
-tlean-no_nested_borrows: SUBDIR := misc/no_nested_borrows
-tlean-paper: SUBDIR := misc/paper
+tlean-no_nested_borrows: SUBDIR := misc-no_nested_borrows
+tlean-paper: SUBDIR := misc-paper
trans-loops: OPTIONS += -no-state
trans-loops: SUBDIR := misc
tfstar-loops: OPTIONS += -decreases-clauses -template-clauses
tcoq-loops: OPTIONS += -use-fuel -no-split-files
-tlean-loops: SUBDIR := misc/loops
+tlean-loops: SUBDIR := misc-loops
tlean-loops: OPTIONS += -decreases-clauses -template-clauses
trans-hashmap: OPTIONS += -no-state
@@ -143,21 +143,21 @@ transp-polonius_list: OPTIONS += -test-units -test-trans-units -no-split-files -
transp-polonius_list: SUBDIR := misc
tfstarp-polonius_list: OPTIONS +=
tcoqp-polonius_list: OPTIONS +=
-tleanp-polonius_list: SUBDIR := misc/polonius_list
+tleanp-polonius_list: SUBDIR := misc-polonius_list
tleanp-polonius_list: OPTIONS +=
trans-constants: OPTIONS += -test-units -test-trans-units -no-split-files -no-state
trans-constants: SUBDIR := misc
tfstar-constants: OPTIONS +=
tcoq-constants: OPTIONS +=
-tlean-constants: SUBDIR := misc/constants
+tlean-constants: SUBDIR := misc-constants
tlean-constants: OPTIONS +=
trans-external: OPTIONS +=
trans-external: SUBDIR := misc
tfstar-external: OPTIONS +=
tcoq-external: OPTIONS +=
-tlean-external: SUBDIR := misc/external
+tlean-external: SUBDIR := misc-external
tlean-external: OPTIONS +=
BETREE_FSTAR_OPTIONS = -decreases-clauses -template-clauses
@@ -207,7 +207,7 @@ trans-%: gen-llbc-% tfstar-% tcoq-% tlean-%
.PHONY: transp-%
transp-%: CHARON_TEST_DIR = $(CHARON_TESTS_POLONIUS_DIR)
transp-%: FILE = $*
-transp-%: gen-llbcp-% tfstarp-% tcoqp-%
+transp-%: gen-llbcp-% tfstarp-% tcoqp-% tleanp-%
echo "# Test $* done"
.PHONY: tfstar-%