From 5d4007e1764a43c4bb70b17b5503166d5cce9335 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Sat, 12 May 2018 00:38:20 -0700 Subject: [PATCH] [racerd] silence noise about wobbly paths, but leave a textual clue for statistical purposes Reviewed By: jeremydubreil Differential Revision: D7969945 fbshipit-source-id: 8339447 --- infer/src/concurrency/RacerD.ml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/infer/src/concurrency/RacerD.ml b/infer/src/concurrency/RacerD.ml index edecccc55..3da03a9f5 100644 --- a/infer/src/concurrency/RacerD.ml +++ b/infer/src/concurrency/RacerD.ml @@ -979,12 +979,7 @@ let get_contaminated_race_message access wobbly_paths = | _ -> None in - Option.map wobbly_path_opt ~f:(fun (wobbly_path, access_path) -> - F.asprintf - "@\n\n\ - Note that the prefix path %a has been contaminated during the execution, so the reported \ - race on %a might be a false positive.@\n\n" - AccessPath.pp wobbly_path AccessPath.pp access_path ) + Option.map wobbly_path_opt ~f:(fun _ -> " [wob]") let log_issue current_pname ~loc ~ltr ~access exn =