From 7d425f22c27d6a5267f773893c14d00319334fe5 Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Thu, 3 Mar 2016 03:57:22 -0800
Subject: [PATCH] Don't run rocksdb benchmark in debug mode

Reviewed By: jvillard

Differential Revision: D2994168

fb-gh-sync-id: 47f19cd
shipit-source-id: 47f19cd
---
 infer/lib/python/inferlib/analyze.py | 1 +
 1 file changed, 1 insertion(+)

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: