From 5322c71063dc94fd6c515b9a1e66740f272b9721 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 26 Jan 2017 10:06:21 -0800 Subject: [PATCH] [infer][backend] find a better trade-off for the value of the SymOps timeout Summary: Increase the value of the SymOps timeout Reviewed By: jvillard Differential Revision: D2868134 fbshipit-source-id: 3c2a493 --- infer/src/base/Config.ml | 2 +- infer/tests/codetoanalyze/java/tracing/issues.exp | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index b8e2788d0..382189ef6 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1335,7 +1335,7 @@ let post_parsing_initialization () = set_minor_heap_size 8 ; let symops_timeout, seconds_timeout = - let default_symops_timeout = 333 in + let default_symops_timeout = 1100 in let default_seconds_timeout = 10.0 in if !models_mode then (* disable timeouts when analyzing models *) diff --git a/infer/tests/codetoanalyze/java/tracing/issues.exp b/infer/tests/codetoanalyze/java/tracing/issues.exp index 8e285d8bd..43c813d6f 100644 --- a/infer/tests/codetoanalyze/java/tracing/issues.exp +++ b/infer/tests/codetoanalyze/java/tracing/issues.exp @@ -1,4 +1,5 @@ codetoanalyze/java/infer/ArrayOutOfBounds.java, int ArrayOutOfBounds.arrayOutOfBounds(), 2, java.lang.ArrayIndexOutOfBoundsException, [start of procedure arrayOutOfBounds(),Taking true branch,exception java.lang.ArrayIndexOutOfBoundsException,return from a call to int ArrayOutOfBounds.arrayOutOfBounds()] +codetoanalyze/java/infer/ArrayOutOfBounds.java, void ArrayOutOfBounds.switchedArrsOutOfBounds(), 2, java.lang.ArrayIndexOutOfBoundsException, [start of procedure switchedArrsOutOfBounds(),start of procedure buggyIter(...),Taking true branch,Taking false branch,return from a call to void ArrayOutOfBounds.buggyIter(int[],int[]),return from a call to void ArrayOutOfBounds.switchedArrsOutOfBounds()] codetoanalyze/java/infer/ClassCastExceptions.java, int ClassCastExceptions.classCastExceptionImplementsInterface(), 0, java.lang.ClassCastException, [start of procedure classCastExceptionImplementsInterface(),start of procedure AnotherImplementationOfInterface(),return from a call to AnotherImplementationOfInterface.(),start of procedure classCastExceptionImplementsInterfaceCallee(...),exception java.lang.ClassCastException,return from a call to int ClassCastExceptions.classCastExceptionImplementsInterfaceCallee(AnotherImplementationOfInterface),exception java.lang.ClassCastException,return from a call to int ClassCastExceptions.classCastExceptionImplementsInterface()] codetoanalyze/java/infer/ClassCastExceptions.java, void ClassCastExceptions.classCastException(), 3, java.lang.ClassCastException, [start of procedure classCastException(),start of procedure SubClassA(),start of procedure SuperClass(),return from a call to SuperClass.(),return from a call to SubClassA.(),exception java.lang.ClassCastException,return from a call to void ClassCastExceptions.classCastException()] codetoanalyze/java/infer/CloseableAsResourceExample.java, T CloseableAsResourceExample.sourceOfNullWithResourceLeak(), 1, RESOURCE_LEAK, [start of procedure sourceOfNullWithResourceLeak(),start of procedure SomeResource(),return from a call to SomeResource.()]