summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulian Blake Kongslie2022-11-01 13:13:42 -0700
committerJulian Blake Kongslie2022-11-01 13:13:42 -0700
commit291646dacdd72964ab1446924c52255fbf4f6448 (patch)
tree82f206dbb426319d75e09cce6bca340e1f0bb9ac
parentSupport writing a trace at the end of execution. (diff)
downloadbiggolf-291646dacdd72964ab1446924c52255fbf4f6448.tar.xz
Don't emit event traces by default
Diffstat (limited to '')
-rw-r--r--main.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/main.cpp b/main.cpp
index 1f1b6de..7a8d161 100644
--- a/main.cpp
+++ b/main.cpp
@@ -76,8 +76,8 @@ int main(int argc, const char *argv[]) {
76 checker.execute(); 76 checker.execute();
77 } 77 }
78 78
79 std::ofstream fh("trace.evt"); 79// std::ofstream fh("trace.evt");
80 system.write_evt(fh); 80// system.write_evt(fh);
81 81
82 return 0; 82 return 0;
83} 83}