From e3c247adacb1702e9846c7ca02d80a7f96a2abf4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 17:49:25 +0100
Subject: Update the Makefile to make sure the execution trace always remains
 the same

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c44454e9..d9159a1a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
 all:
-	dune build src/main.exe && dune exec src/main.exe
+	dune build src/main.exe && \
+	dune exec src/main.exe > trace_current.txt && \
+	cmp trace_reference.txt trace_current.txt
 
 doc:
 	dune build @doc
-- 
cgit v1.2.3