From c61d06b21bae564b5365a8439e0a450796887cc5 Mon Sep 17 00:00:00 2001 From: Simone Date: Fri, 31 Jan 2025 14:47:13 +0100 Subject: [PATCH] Update CLI --verbose description --- slither/tools/mutator/README.md | 3 +-- slither/tools/mutator/__main__.py | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/slither/tools/mutator/README.md b/slither/tools/mutator/README.md index aa4d86655..b33c5f4fb 100644 --- a/slither/tools/mutator/README.md +++ b/slither/tools/mutator/README.md @@ -33,8 +33,7 @@ options: --timeout TIMEOUT Set timeout for test command (by default 30 seconds) --output-dir OUTPUT_DIR Name of output directory (by default 'mutation_campaign') - -v, --verbose log mutants that are caught as well as those that are uncaught - -vv, --very-verbose log mutants that are caught, uncaught, and fail to compile. And more! + -v, --verbose log mutants that are caught, uncaught, and fail to compile --mutators-to-run MUTATORS_TO_RUN mutant generators to run --contract-names CONTRACT_NAMES diff --git a/slither/tools/mutator/__main__.py b/slither/tools/mutator/__main__.py index d97806e28..7c2e660af 100644 --- a/slither/tools/mutator/__main__.py +++ b/slither/tools/mutator/__main__.py @@ -72,7 +72,7 @@ def parse_args() -> argparse.Namespace: parser.add_argument( "-v", "--verbose", - help="log mutants that are caught as well as those that are uncaught", + help="log mutants that are caught, uncaught, and fail to compile", action="store_true", default=False, )