From 82d4730f125c1101c923e4121c1f0f0c74027f67 Mon Sep 17 00:00:00 2001 From: Josselin Date: Wed, 14 Nov 2018 16:22:15 +0100 Subject: [PATCH] Rename exclude-detectors -> exclude (close 76) --- slither/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/slither/__main__.py b/slither/__main__.py index e6237e1f1..1a09fa36c 100644 --- a/slither/__main__.py +++ b/slither/__main__.py @@ -288,7 +288,7 @@ def parse_args(detector_classes, printer_classes): default=False) - group_detector.add_argument('--exclude-detectors', + group_detector.add_argument('--exclude', help='Comma-separated list of detectors that should be excluded', action='store', dest='detectors_to_exclude',