From 1c7c1bb9fac25dda0fb0412b33227299ccfdd3f0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 10 Feb 2022 10:00:15 +0100
Subject: Add an option to deactivate the invariant checks

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3