diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index 44ed2eae6..a5f65435e 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -3287,7 +3287,13 @@ let captured_dir = results_dir ^/ captured_dir_name let clang_frontend_action_string = let text = if capture then ["translating"] else [] in let text = if linters then "linting" :: text else text in - let text = if process_clang_ast then "processing" :: text else text in + let text = + if process_clang_ast && test_determinator then "Test Determinator with" :: text else text + in + let text = + if process_clang_ast && export_changed_functions then "Export Changed Functions with" :: text + else text + in String.concat ~sep:", " text diff --git a/infer/src/integration/Driver.ml b/infer/src/integration/Driver.ml index 0b08850ce..d4f404f2d 100644 --- a/infer/src/integration/Driver.ml +++ b/infer/src/integration/Driver.ml @@ -401,6 +401,7 @@ let analyze_and_report ?suppress_console_report ~changed_files mode = | (Analyze | Run), _ -> (true, true) in + let should_analyze = should_analyze && Config.capture in let should_merge = match mode with | PythonCapture (BBuck, _) when Config.flavors && InferCommand.equal Run Config.command -> diff --git a/infer/src/test_determinator/testDeterminator.ml b/infer/src/test_determinator/testDeterminator.ml index c29819d5b..25aef038e 100644 --- a/infer/src/test_determinator/testDeterminator.ml +++ b/infer/src/test_determinator/testDeterminator.ml @@ -204,7 +204,7 @@ let java_test_to_run () = let remove_llvm_suffix_native_symbols native_symbols = let remove_llvm_suffix_native_symbol native_symbol = let remove_llvm_suffix name = - (* The first dot of .llvm.... is the first dot after the name, + (* The first dot of .llvm.... is the first dot after the name, because neither names nor mangled names can have dots. *) match String.lsplit2 name ~on:'.' with | Some (name_no_suffix, _) -> @@ -307,4 +307,6 @@ let merge_test_determinator_results () = match (s1, s2) with `String s1, `String s2 -> String.compare s1 s2 | _ -> 0 ) !main_results_list in - YB.to_file main_results_file (`List main_results_list_sorted) + YB.to_file main_results_file (`List main_results_list_sorted) ; + Logging.progress "Finished executing Test Determinator successfully, results are in %s@." + main_results_file