diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 1a0486e7e..88b78ef4a 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -46,11 +46,6 @@ base_group.add_argument('-nf', '--no-filtering', action='store_true', help='''Also show the results from the experimental checks. Warning: some checks may contain many false alarms''') - -base_group.add_argument('--android-harness', action='store_true', - help='''[experimental] Create harness to detect bugs - involving the Android lifecycle''') - base_group.add_argument('--pmd-xml', action='store_true', help='''Output issues in (PMD) XML format.''') diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index b7615da9c..99d3f7f26 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -274,7 +274,6 @@ let capture ~changed_files = function -> ["--blacklist-regex"; s] | _ -> [] ) - @ (if not Config.create_harness then [] else ["--android-harness"]) @ ( match Config.java_jar_compiler with | None -> []