about summary refs log tree commit diff stats
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/browse_trace.readme.md10
1 files changed, 6 insertions, 4 deletions
diff --git a/tools/browse_trace.readme.md b/tools/browse_trace.readme.md
index d607095e..8c3f50f4 100644
--- a/tools/browse_trace.readme.md
+++ b/tools/browse_trace.readme.md
@@ -1,10 +1,11 @@
 ### A debugging helper that lets you zoom in/out on a trace.
 
-To try it out, first create an example trace (from the top-level `mu/`
-directory):
+To try it out, first create an example trace:
 
   ```shell
-  ./subx --trace run apps/factorial
+  $ cd linux
+  $ bootstrap/bootstrap translate [01]*.subx factorial.subx -o factorial
+  $ bootstrap/bootstrap --trace run factorial
   ```
 
 This command will save a trace of its execution in a file called `last_run`.
@@ -14,7 +15,8 @@ and a single-word 'label', followed by a colon and whitespace.
 Now browse this trace:
 
   ```shell
-  tools/browse_trace last_run
+  $ cd ..
+  $ tools/browse_trace linux/last_run
   ```
 
 You should now find yourself in a UI showing a subsequence of lines from the