Disable SKIP_FUNCTIONs when Infer is not running in debug mode

Reviewed By: @cristianoc Differential Revision: D2498403
9 years ago · 30d869b9b1
parent a4c910cc2c
commit 30d869b9b1
1 changed files with 1 additions and 1 deletions
--- a/infer/src/backend/exceptions.ml
+++ b/infer/src/backend/exceptions.ml
@ -198,7 +198,7 @@ let recognize_exception exn =
    | Timeout_exe _ ->
        (Localise.from_string "Timeout_exe", Localise.no_desc, None, Exn_system, Low, None, Nocat)
    | Skip_function desc ->
-        (Localise.skip_function, desc, None, Exn_user, Low, None, Nocat)
+        (Localise.skip_function, desc, None, Exn_developer, Low, None, Nocat)
    | Skip_pointer_dereference (desc, mloc) ->
        (Localise.skip_pointer_dereference, desc, Some mloc, Exn_user, Medium, Some Kinfo, Nocat) (** always an info *)
    | Symexec_memory_error mloc ->