From ab28eb1fb431606b22b5464273ac2f4b4bd713f8 Mon Sep 17 00:00:00 2001 From: bohendo Date: Thu, 9 Jan 2025 10:22:21 -0500 Subject: [PATCH] ensure very_verbose logs are a superset of verbose logs --- slither/tools/mutator/__main__.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/slither/tools/mutator/__main__.py b/slither/tools/mutator/__main__.py index 8f697aecf..10fb8eb84 100644 --- a/slither/tools/mutator/__main__.py +++ b/slither/tools/mutator/__main__.py @@ -165,6 +165,9 @@ def main() -> None: # pylint: disable=too-many-statements,too-many-branches,too logger.info(blue(f"Starting mutation campaign in {args.codebase}")) + if very_verbose: # very_verbose should always be a superset of verbose logs + verbose = True + if paths_to_ignore: paths_to_ignore_list = paths_to_ignore.strip("][").split(",") else: