[infer][checkers] fix the filtering mechanism based on the analyzer name

Summary: The order of the elements in the list maters since the function `string_to_analyzer` will return the fist element found in the list. Inverting the `"biabduction"` and `"infer"` entries in the list allows D6051146 to have no functional implications.

Reviewed By: sblackshear

Differential Revision: D6055840

fbshipit-source-id: 6cf5ac2

infer/src/base/Config.ml

@@ -30,12 +30,12 @@ type analyzer =
 let equal_analyzer = [%compare.equal : analyzer]
 
 let string_to_analyzer =
-  [ ("biabduction", BiAbduction)
+  [ ("infer", BiAbduction)
+  ; ("biabduction", BiAbduction)
   ; ("capture", CaptureOnly)
   ; ("checkers", Checkers)
   ; ("compile", CompileOnly)
   ; ("crashcontext", Crashcontext)
-  ; ("infer", BiAbduction)
   ; ("linters", Linters) ]
 
 let string_of_analyzer a =