diff --git a/slither/__main__.py b/slither/__main__.py index 1b79d54c0..6213eedc4 100644 --- a/slither/__main__.py +++ b/slither/__main__.py @@ -450,6 +450,11 @@ def parse_args(detector_classes, printer_classes): action='store_true', default=defaults_flag_in_config['legacy_ast']) + parser.add_argument('--ignore-return-value', + help=argparse.SUPPRESS, + action='store_true', + default=False) + # if the json is splitted in different files parser.add_argument('--splitted', help=argparse.SUPPRESS, @@ -591,6 +596,8 @@ def main_impl(all_detector_classes, all_printer_classes): logger.info('%s analyzed (%d contracts)', filename, number_contracts) else: logger.info('%s analyzed (%d contracts), %d result(s) found', filename, number_contracts, len(results)) + if args.ignore_return_value: + return exit(results) except Exception: