cli: [fix] Invalid argument in CLI tfuzz mode (microsoft#109)

brianfu · Jul 30, 2024 · 3d4db53 · 3d4db53
1 parent cc9b3e5
commit 3d4db53
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -10,6 +10,8 @@ src/x86/*.json
 *.code-workspace
 *.o
 src/generated.asm
+generated.asm
+generated
 src/x86/executor/.cache.mk
 src/x86/executor/measurement.o.ur-safe
 dbg/

diff --git a/docs/cli.md b/docs/cli.md
@@ -77,7 +77,7 @@ The following command-line arguments are supported in `analyse` mode:
  The template to use for generating test cases
  --timeout TIMEOUT Run fuzzing with a time limit [seconds]. No timeout when set to zero.
  --nonstop Don't stop after detecting an unexpected result
- --enable-store-violations ENABLE_STORE_VIOLATIONS
+ --save-violations SAVE_VIOLATIONS
  If set, store all detected violations in working directory.
 ```