[infer][config] remove the per_procedure_parallelism option which was always true

Summary: Historically, this option was only used to parallelize the biabduction analysis, which is now run using the checkers framework.

Reviewed By: jvillard

Differential Revision: D7895118

fbshipit-source-id: 2a54bca

infer/src/backend/InferAnalyze.ml

@@ -130,7 +130,7 @@ let main ~changed_files ~makefile =
              all_clusters)
       in
       print_legend () ;
-      if Config.per_procedure_parallelism && not (Lazy.force is_java) then (
+      if not (Lazy.force is_java) then (
         (* Java uses ZipLib which is incompatible with forking *)
         (* per-procedure parallelism *)
         L.environment_info "Per-procedure parallelism jobs: %d@." Config.jobs ;

infer/src/base/Config.ml

@@ -1629,11 +1629,6 @@ and patterns_skip_translation =
       "Matcher or list of matchers for names of files that should not be analyzed at all." )
 
 
-and per_procedure_parallelism =
-  CLOpt.mk_bool ~long:"per-procedure-parallelism" ~default:true
-    "Perform analysis with per-procedure parallelism. Java is not supported."
-
-
 and pmd_xml =
   CLOpt.mk_bool ~long:"pmd-xml"
     ~in_help:InferCommand.[(Run, manual_generic)]
@@ -2697,8 +2692,6 @@ and patterns_skip_implementation = match patterns_skip_implementation with k, r
 
 and patterns_skip_translation = match patterns_skip_translation with k, r -> (k, !r)
 
-and per_procedure_parallelism = !per_procedure_parallelism
-
 and pmd_xml = !pmd_xml
 
 and precondition_stats = !precondition_stats

infer/src/base/Config.mli

@@ -167,8 +167,6 @@ val patterns_skip_implementation : string * Yojson.Basic.json
 
 val patterns_skip_translation : string * Yojson.Basic.json
 
-val per_procedure_parallelism : bool
-
 val perf_stats_prefix : string
 
 val pp_version : Format.formatter -> unit -> unit