Browse Source

Explorer: readme: clarify fuzzer debugging (#2905)

Slightly clarify the debugging process in case of fuzzer crash with Explorer.
Adrien Leravat 2 years ago
parent
commit
da647f579a
1 changed files with 7 additions and 5 deletions
  1. 7 5
      explorer/fuzzing/README.md

+ 7 - 5
explorer/fuzzing/README.md

@@ -83,11 +83,13 @@ bazel-bin/explorer/fuzzing/explorer_fuzzer.full_corpus
 
 
 ## Investigating a crash
 ## Investigating a crash
 
 
-Typically it's going to be easiest to run explorer on directly. You can do this
-with:
+Typically it's going to be easiest to run explorer on the problematic carbon
+program directly. You can do this with:
 
 
-````bash
-# Convert the crash to a source file.
+```bash
+# Convert a specific fuzzer test to a source file
+bazel run //common/fuzzing:proto_to_carbon -- explorer/fuzzing/fuzzer_corpus/abcd1234 > crash.carbon
+# Or convert the crash to a source file.
 bazel run //common/fuzzing:proto_to_carbon -- /tmp/crash.textproto > crash.carbon
 bazel run //common/fuzzing:proto_to_carbon -- /tmp/crash.textproto > crash.carbon
 
 
 # Run explorer on the crash.
 # Run explorer on the crash.
@@ -98,7 +100,7 @@ It's also possible to run the fuzzer on a single input:
 
 
 ```bash
 ```bash
 bazel-bin/explorer/fuzzing/explorer_fuzzer.full_corpus /tmp/crash.textproto
 bazel-bin/explorer/fuzzing/explorer_fuzzer.full_corpus /tmp/crash.textproto
-````
+```
 
 
 ## Generating new fuzzer corpus entries
 ## Generating new fuzzer corpus entries