diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt index 4f3e05c5e..47790de62 100644 --- a/infer/man/man1/infer-analyze.txt +++ b/infer/man/man1/infer-analyze.txt @@ -209,6 +209,9 @@ OPTIONS Activates: Enable loop-hoisting and disable all other checkers (Conversely: --no-loop-hoisting-only) + --max-jobs int + Maximum number of analysis jobs running simultaneously + --perf-profiler-data-file file DEPRECATED: Specify the file containing perf profiler data to read diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 7778e21a9..20dd2897d 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -783,6 +783,10 @@ OPTIONS Activates: Enable loop-hoisting and disable all other checkers (Conversely: --no-loop-hoisting-only) See also infer-analyze(1). + --max-jobs int + Maximum number of analysis jobs running simultaneously + See also infer-analyze(1). + --max-nesting int Level of nested procedure calls to show. Trace elements beyond the maximum nesting level are skipped. If omitted, all levels are @@ -1546,6 +1550,9 @@ INTERNAL OPTIONS --margin int Set right margin for the pretty printing functions + --max-jobs-reset + Cancel the effect of --max-jobs. + --max-nesting-reset Cancel the effect of --max-nesting. diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index ea8cf2a34..1fa0b007f 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -783,6 +783,10 @@ OPTIONS Activates: Enable loop-hoisting and disable all other checkers (Conversely: --no-loop-hoisting-only) See also infer-analyze(1). + --max-jobs int + Maximum number of analysis jobs running simultaneously + See also infer-analyze(1). + --max-nesting int Level of nested procedure calls to show. Trace elements beyond the maximum nesting level are skipped. If omitted, all levels are diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 6e3a158c4..74ce06087 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1563,6 +1563,12 @@ and margin = "Set right margin for the pretty printing functions" +and max_jobs = + CLOpt.mk_int_opt ~long:"max-jobs" + ~in_help:InferCommand.[(Analyze, manual_generic)] + ~meta:"int" "Maximum number of analysis jobs running simultaneously" + + and max_nesting = CLOpt.mk_int_opt ~long:"max-nesting" ~in_help:InferCommand.[(Explore, manual_explore_bugs)] @@ -2867,7 +2873,7 @@ and javac_classes_out = !javac_classes_out and job_id = !job_id -and jobs = !jobs +and jobs = Option.fold !max_jobs ~init:!jobs ~f:min and join_cond = !join_cond