diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index de4886aa3..221ef6a86 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -301,6 +301,7 @@ class AnalyzerWrapper(object): elif self.args.debug_exceptions: infer_options.append('-developer_mode') + infer_options.append('-print_buckets') self.args.no_filtering = True if self.args.reactive: