From 83c06f5c51ac7b500e87b344f93840e9852eba91 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 8 Feb 2022 18:17:24 +0100
Subject: Make a minor modifications to Makefile and main.ml

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 22463da8..0807e092 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ build:
 # Build the project and run the executable
 .PHONY: build-run
 build-run: build
-	dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) > tests/trace_current.txt
+	dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) -test-units -test-trans-units > tests/trace_current.txt
 
 # Build the project and run the executable, then check that the behaviour
 # of the interpreter didn't change by comparing the newly generated trace
-- 
cgit v1.2.3