From 1b4efcfc7ab6c63da2262a4daa27645e9514ea9a Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Tue, 2 Feb 2016 10:35:01 -0800 Subject: [PATCH] Enable the analysis of models in on-demand mode. Reviewed By: jeremydubreil Differential Revision: D2890817 fb-gh-sync-id: e8dc0f1 --- infer/src/backend/ondemand.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml index 117d9a1a9..7faaf34b4 100644 --- a/infer/src/backend/ondemand.ml +++ b/infer/src/backend/ondemand.ml @@ -17,8 +17,7 @@ let trace () = Config.from_env_variable "INFER_TRACE_ONDEMAND" let one_cluster_per_procedure () = false let () = Config.ondemand_enabled := - Config.from_env_variable "INFER_ONDEMAND" && - not Config.analyze_models + Config.from_env_variable "INFER_ONDEMAND" let across_files () = true