From 62517a8004419591dd031faebb7a9a4827bc002a Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Tue, 1 Nov 2022 10:08:59 -0700
Subject: Support writing a trace at the end of execution.

---
 main.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'main.cpp')

diff --git a/main.cpp b/main.cpp
index 62926a5..1f1b6de 100644
--- a/main.cpp
+++ b/main.cpp
@@ -76,5 +76,8 @@ int main(int argc, const char *argv[]) {
         checker.execute();
     }
 
+    std::ofstream fh("trace.evt");
+    system.write_evt(fh);
+
     return 0;
 }
-- 
cgit v1.2.3