From ae03acb71b6fd6de04ae75aba27efd6283adc24a Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 9 Feb 2017 07:31:11 -0800
Subject: [PATCH] [quandary] reduce max_calls to 3

Reviewed By: jeremydubreil

Differential Revision: D4533909

fbshipit-source-id: e782ab0
---
 infer/src/quandary/TaintAnalysis.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/quandary/TaintAnalysis.ml b/infer/src/quandary/TaintAnalysis.ml
index 32a7ef5ca..e4ef1d558 100644
--- a/infer/src/quandary/TaintAnalysis.ml
+++ b/infer/src/quandary/TaintAnalysis.ml
@@ -455,7 +455,7 @@ module Make (TaintSpecification : TaintSpec.S) = struct
           (* highly polymorphic call sites stress reactive mode too much by using too much memory.
              here, we choose an arbitrary call limit that allows us to finish the analysis in
              practice. this is obviously unsound; will try to remove in the future. *)
-          let max_calls = 10 in
+          let max_calls = 3 in
           let targets =
             if IList.length call_flags.cf_targets <= max_calls
             then