From bac1c85546a560488e8808579656c9fee1b0c8fb Mon Sep 17 00:00:00 2001 From: Dino Distefano Date: Tue, 1 May 2018 03:04:07 -0700 Subject: [PATCH] Hide test determinator option from infer help Reviewed By: jvillard Differential Revision: D7828223 fbshipit-source-id: 2752e62 --- infer/src/base/Config.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 6a76f54e5..666dfea6a 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1558,7 +1558,6 @@ and ml_buckets = and modified_lines = CLOpt.mk_string ~long:"modified-lines" ~default:"" - ~in_help:InferCommand.[(Analyze, manual_generic); (Report, manual_generic)] "Specifies the file containing the modified lines when Infer is run Test Determinator mode. \ --test-determinator --modified-lines modified_lines_file --profiler-sample \ profiler_sample_file" @@ -2032,7 +2031,6 @@ and symops_per_iteration = and test_determinator = CLOpt.mk_bool ~long:"test-determinator" ~default:false - ~in_help:InferCommand.[(Analyze, manual_generic); (Report, manual_generic)] "Run infer in Test Determinator mode. It is used together with the --modified-lines and \ --test-profiler flags \n \ which speficy the relevant arguments. E.g. --test-determinator --modified-lines \ @@ -2046,7 +2044,6 @@ and test_filtering = and profiler_sample = CLOpt.mk_string ~long:"profiler-sample" ~default:"" - ~in_help:InferCommand.[(Analyze, manual_generic); (Report, manual_generic)] "Specifies the file containing the profiler sample when Infer is run Test Determinator mode. \ --test-determinator --modified-lines modified_line_file --profiler-sample \ profiler_sample_file"