checkpoint tracing

2020-12-01 18:19:28 -05:00 · 2020-12-01 18:19:28 -05:00 · 0ff23ef8cd
commit 0ff23ef8cd
parent ea4f5de034
11 changed files with 188 additions and 82 deletions
--- a/src/kiri/main.js
+++ b/src/kiri/main.js
@ -177,6 +177,11 @@
            { name: "300" },
            { name: "400" },
            { name: "500" }
+        ],
+        trace: [
+            { name: "follow" },
+            { name: "out" },
+            { name: "in" }
        ]
    };