cli: [fix] Invalid argument in CLI tfuzz mode (#109)
This commit is contained in:
Родитель
255d63dca5
Коммит
b056144a52
|
@ -10,6 +10,8 @@ src/x86/*.json
|
||||||
*.code-workspace
|
*.code-workspace
|
||||||
*.o
|
*.o
|
||||||
src/generated.asm
|
src/generated.asm
|
||||||
|
generated.asm
|
||||||
|
generated
|
||||||
src/x86/executor/.cache.mk
|
src/x86/executor/.cache.mk
|
||||||
src/x86/executor/measurement.o.ur-safe
|
src/x86/executor/measurement.o.ur-safe
|
||||||
dbg/
|
dbg/
|
||||||
|
|
|
@ -77,7 +77,7 @@ The following command-line arguments are supported in `analyse` mode:
|
||||||
The template to use for generating test cases
|
The template to use for generating test cases
|
||||||
--timeout TIMEOUT Run fuzzing with a time limit [seconds]. No timeout when set to zero.
|
--timeout TIMEOUT Run fuzzing with a time limit [seconds]. No timeout when set to zero.
|
||||||
--nonstop Don't stop after detecting an unexpected result
|
--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.
|
If set, store all detected violations in working directory.
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
|
@ -136,7 +136,7 @@ def main() -> int:
|
||||||
parser_tfuzz.add_argument(
|
parser_tfuzz.add_argument(
|
||||||
'--nonstop', action='store_true', help="Don't stop after detecting an unexpected result")
|
'--nonstop', action='store_true', help="Don't stop after detecting an unexpected result")
|
||||||
parser_tfuzz.add_argument(
|
parser_tfuzz.add_argument(
|
||||||
'--enable-store-violations',
|
'--save-violations',
|
||||||
type=arg2bool,
|
type=arg2bool,
|
||||||
default=True,
|
default=True,
|
||||||
help="If set, store all detected violations in working directory.",
|
help="If set, store all detected violations in working directory.",
|
||||||
|
|
Загрузка…
Ссылка в новой задаче