diff --git a/infer/tests/codetoanalyze/java/biabduction/ReaderLeaks.java b/infer/tests/codetoanalyze/java/biabduction/ReaderLeaks.java index 783ec4c38..1dc75731a 100644 --- a/infer/tests/codetoanalyze/java/biabduction/ReaderLeaks.java +++ b/infer/tests/codetoanalyze/java/biabduction/ReaderLeaks.java @@ -33,19 +33,20 @@ public class ReaderLeaks { } catch (IOException e) { } } - - public void readerClosedOk() throws IOException { - Reader r = null; - try { - r = new FileReader("testing.txt"); - boolean ready = r.ready(); - r.close(); - } catch (IOException e) { - } finally { - if (r != null) r.close(); - } - } - + /* This test seems to be flaky in the CI at the moment. + We guess it's because of timeouts in the analysis. + public void readerClosedOk() throws IOException { + Reader r = null; + try { + r = new FileReader("testing.txt"); + boolean ready = r.ready(); + r.close(); + } catch (IOException e) { + } finally { + if (r != null) r.close(); + } + } + */ // BufferedReader tests public void bufferedReaderNotClosedAfterRead() {