From ae924d35ac7eb9f2294d33e82904a0a7f1dc87fa Mon Sep 17 00:00:00 2001 From: Julian Sutherland Date: Tue, 25 Sep 2018 07:56:47 -0700 Subject: [PATCH] changes missed in commit "[starvation] refactor method matching ; kill dev-android-strict-mode option" Reviewed By: mbouaziz, ngorogiannis Differential Revision: D10030871 fbshipit-source-id: bb0d085f9 --- infer/man/man1/infer-full.txt | 6 ------ 1 file changed, 6 deletions(-) diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index f149c9344..198766dde 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -1095,12 +1095,6 @@ INTERNAL OPTIONS Debug level for the test determinator. See --debug-level for accepted values. (default: 0) - --dev-android-strict-mode - Activates: Developer mode for starvation analysis, only for use on - android implementation sources; detects methods in the Android - library core which throw strict mode violation exceptions - (Conversely: --no-dev-android-strict-mode) - --developer-mode Activates: Show internal exceptions (Conversely: --no-developer-mode)