crux{,-llvm}: Update READMEs and CHANGELOGs to mention --debug

GaloisInc · Feb 7, 2025 · 4f534c6 · 4f534c6
1 parent 8d9033f
commit 4f534c6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
diff --git a/crux-llvm/CHANGELOG.md b/crux-llvm/CHANGELOG.md
@@ -1,6 +1,7 @@
 # next -- TBA
 
 * Add support for the Bitwuzla SMT solver in the test suite.
+* Add `--debug` option for starting the Crucible debugger.
 
 # 0.9 -- 2024-08-30
 

diff --git a/crux-llvm/README.md b/crux-llvm/README.md
@@ -406,6 +406,8 @@ In addition, the following flags can optionally be provided:
   a symbolic filesystem to use during symbolic execution.  See the Symbolic I/O
   documentation for the format of this directory. [Experimental]
 
+* `--debug`: Start the Crucible debugger.
+
 # Environment Variables
 
 The following environment variables are supported:

diff --git a/crux/CHANGELOG.md b/crux/CHANGELOG.md
@@ -1,6 +1,7 @@
 # next -- TBA
 
 * Add support for the Bitwuzla SMT solver.
+* Add `--debug` option for starting the Crucible debugger.
 
 # 0.7.1 -- 2024-08-30