diff --git a/docs/debugging.md b/docs/debugging.md index e9aa2c0755..61a133d5a8 100644 --- a/docs/debugging.md +++ b/docs/debugging.md @@ -8,24 +8,24 @@ No output when running a differ script implies that there are no differences. To compare the public inputs, run: ```bash -scripts/air_public_inputs_differ.bash file1 file2 +scripts/air_public_inputs_differ.bash ``` To compare the private inputs, run: ```bash -scripts/air_private_inputs_differ.bash file1 file2 +scripts/air_private_inputs_differ.bash ``` If you just want to visualize the memory, run: ```bash -scripts/memory_viewer.bash file +scripts/memory_viewer.bash ``` It will output the memory in two columns: address and value To compare the memory, run: ```bash -scripts/memory_differ.bash file1 file2 +scripts/memory_differ.bash ```