Support writing a trace at the end of execution.

1 files changed, 3 insertions, 0 deletions

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;
 }