From 86ab2d7d103c21edd025720478a6d8d52009c531 Mon Sep 17 00:00:00 2001
From: Nikos Gorogiannis <nikosg@fb.com>
Date: Tue, 17 Mar 2020 08:10:40 -0700
Subject: [PATCH] [topl] disable skip tests

Summary: These tests fail when seemingly unrelated changes are made to infer.  In particular, it seems timeout limits have to be increased by 10x or more to make them succeed again.  Disabling until we have a more stable replacement.

Reviewed By: ezgicicek

Differential Revision: D20489647

fbshipit-source-id: 9706b0807
---
 infer/tests/codetoanalyze/java/topl/skip/Makefile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/infer/tests/codetoanalyze/java/topl/skip/Makefile b/infer/tests/codetoanalyze/java/topl/skip/Makefile
index d53252253..795e0d705 100644
--- a/infer/tests/codetoanalyze/java/topl/skip/Makefile
+++ b/infer/tests/codetoanalyze/java/topl/skip/Makefile
@@ -10,4 +10,13 @@ INFERPRINT_OPTIONS = --issues-tests
 
 SOURCES = $(wildcard *.java)
 
-include $(TESTS_DIR)/javac.make
+# include $(TESTS_DIR)/javac.make
+
+.PHONY: test
+test: ;
+
+.PHONY: replace
+replace: ;
+
+.PHONY: clean
+clean: ;