Update the Makefile to make sure the execution trace always remains the

same

1 files changed, 3 insertions, 1 deletions

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