From e065b0b0b23c9e5543a5edf76ac4e68d495b6671 Mon Sep 17 00:00:00 2001
From: Gabriela Cunha Sampaio <gabrielasampaio@fb.com>
Date: Thu, 7 Jan 2021 03:30:56 -0800
Subject: [PATCH] Change Pulse Checker from experimental for C++ and Java to
 experimental for Java only

Summary:
Pulse support for C languages ('clang') can now be considered
mature.

Reviewed By: ezgicicek, da319, jvillard

Differential Revision: D25803707

fbshipit-source-id: 5a48eb940
---
 infer/src/base/Checker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/base/Checker.ml b/infer/src/base/Checker.ml
index 9b007a53b..98b69f6e0 100644
--- a/infer/src/base/Checker.ml
+++ b/infer/src/base/Checker.ml
@@ -281,7 +281,7 @@ let config_unsafe checker =
   | Pulse ->
       { id= "pulse"
       ; kind= UserFacing {title= "Pulse"; markdown_body= ""}
-      ; support= supports_clang_and_java_experimental
+      ; support= (function Clang -> Support | Java -> ExperimentalSupport)
       ; short_documentation= "Memory and lifetime analysis."
       ; cli_flags= Some {deprecated= ["-ownership"]; show_in_help= true}
       ; enabled_by_default= false