From 335de855331a424c35b577907eb504c198990c0b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 16:30:20 +0100
Subject: Update the trace

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a058bac8..21b77658 100644
--- a/Makefile
+++ b/Makefile
@@ -15,5 +15,13 @@ build-run-check-trace:
 	cmp tests/trace_reference.txt tests/trace_current.txt && \
 	rm tests/trace_current.txt
 
+# Build the project and update the trace
+.PHONY: regen-trace
+regen-trace:
+	dune build src/main.exe && \
+	dune exec src/main.exe ../charon/charon/tests/test1.cfim > tests/trace_current.txt && \
+        rm tests/trace_reference.txt && \
+	mv tests/trace_current.txt tests/trace_reference.txt
+
 doc:
 	dune build @doc
-- 
cgit v1.2.3