From 559e838e8924a48e56b914bf6263288417b1bd07 Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Mon, 4 Mar 2019 17:50:00 +0000
Subject: [PATCH] Add --ignore-return-value flag

---
 slither/__main__.py | 7 +++++++
 1 file changed, 7 insertions(+)

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: