Skip to content

Commit

Permalink
debug: surveyor comparison in README
Browse files Browse the repository at this point in the history
  • Loading branch information
langston-barrett committed Feb 6, 2025
1 parent 6a943e7 commit 95907dc
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions crucible-debug/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,10 @@ The command language can be extended by downstream packages.
Such extensions can be used to add commands that are specific to a particular Crucible syntax extension (i.e., source language).
For example, the `crucible-llvm-debug` package provides the `memory` command to print the current LLVM memory.

This tool shares some functionality with the [surveyor] project. The principal architectural distinction is that `crucible-debug` is designed to be embedded into larger tools like Crux and SAW, while `surveyor` is a standalone application.

[surveyor]: https://github.com/GaloisInc/surveyor

The test suite is described in its Haddocks.

## Acknowledgements
Expand Down

0 comments on commit 95907dc

Please sign in to comment.