Skip to content

Commit

Permalink
[biabduction] Increase timeout
Browse files Browse the repository at this point in the history 
Summary: Increase the timeout for our java tests to avoid flakiness.

Reviewed By: ngorogiannis

Differential Revision: D57380416

fbshipit-source-id: 979d8496a23a85b2256bf201f53745e432004023
  • Loading branch information
@dulmarod @facebook-github-bot
dulmarod authored and facebook-github-bot committed May 15, 2024
1 parent 8a7f30c commit 159b2b6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion infer/tests/codetoanalyze/java/biabduction/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

TESTS_DIR = ../../..

INFER_OPTIONS = --biabduction-only --debug-exceptions
INFER_OPTIONS = --biabduction-only --debug-exceptions --biabduction-seconds-per-iteration 200
INFERPRINT_OPTIONS = --issues-tests
TEST_CLASSPATH = $(JAVA_BUILTINS_DIR)
SOURCES = $(wildcard *.java)
Expand Down

0 comments on commit 159b2b6

Please sign in to comment.