summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2022-02-10 10:00:15 +0100
committerSon Ho2022-02-10 10:00:15 +0100
commit1c7c1bb9fac25dda0fb0412b33227299ccfdd3f0 (patch)
tree6b93450a2f569a70aeb0624935dbba7b4227273d /Makefile
parent95e5e17b1e80e36674f6e892b238c41e8cce86c7 (diff)
Add an option to deactivate the invariant checks
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index afbdd832..070aba6c 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ all: build-test
CHARON_HOME=../charon/charon
CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src
-DEST_DIR=tests/
+DEST_DIR=tests
# Default translation options:
# - insert calls to the normalizer in the translated code to test the