Skip to content

Commit

Permalink
Improve script usage code blocks
Browse files Browse the repository at this point in the history
  • Loading branch information
JulianGCalderon committed Sep 20, 2024
1 parent 0bb3f07 commit ef97fc1
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions docs/debugging.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 <AIR-PUBLIC-INPUTS-1> <AIR-PUBLIC-INPUTS-2>
```

To compare the private inputs, run:
```bash
scripts/air_private_inputs_differ.bash file1 file2
scripts/air_private_inputs_differ.bash <AIR-PRIVATE-INPUTS-1> <AIR-PRIVATE-INPUTS-2>
```

If you just want to visualize the memory, run:
```bash
scripts/memory_viewer.bash file
scripts/memory_viewer.bash <MEMORY-FILE>
```
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 <TRACE-1> <TRACE-2>
```


0 comments on commit ef97fc1

Please sign in to comment.