Update the trace

1 files changed, 8 insertions, 0 deletions

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