From 1ce248d6c353145cac171e8aa1a3f41627b6dd1d Mon Sep 17 00:00:00 2001 From: Brian Fu Date: Mon, 29 Jul 2024 23:13:36 +0000 Subject: [PATCH 1/2] cli: [fix] bugfix for tfuzz args --- .gitignore | 2 ++ docs/cli.md | 2 +- src/cli.py | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index e3d9f01e..adbeedbb 100644 --- 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 index 83005415..2d27783f 100644 --- 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. ``` diff --git a/src/cli.py b/src/cli.py index 6efa1d40..9fede56c 100644 --- a/src/cli.py +++ b/src/cli.py @@ -136,7 +136,7 @@ def main() -> int: parser_tfuzz.add_argument( '--nonstop', action='store_true', help="Don't stop after detecting an unexpected result") parser_tfuzz.add_argument( - '--enable-store-violations', + '--save-violations', type=arg2bool, default=True, help="If set, store all detected violations in working directory.", From 0b7d01bb87b35eaa1f34e519569fcb486b759e97 Mon Sep 17 00:00:00 2001 From: Brian Fu Date: Tue, 30 Jul 2024 10:52:30 +0000 Subject: [PATCH 2/2] trigger CI