Qihui Sun

Results 22 comments of Qihui Sun

add --starvation-whole-program option could help you.

add --pulse option could help you.

MyBar1A.java use your Foo1A.java as below, Infer cannot report the NPE too ! ```java /** * infer --debug --pulse -- javac MyBar1A.java */ public class MyBar1A { public static void...

I really expect lazy streams API add these powerful and convenient methods : **repeat/cycle, repeatedly/generate, iterate, unfold, resource, reject**, like in Elixir and Clojure: https://hexdocs.pm/elixir/Stream.html#unfold/2

@ilya-g Thanks, if provided by stdlib will be more convenient to every average programmer. I think, **one of the programming trend is the Lazy Sequences** . Is there the equivalence...

Hi!, Is there any update on this feature? Thanks!

Run Infer on standalone Jar/War or classes files path, we also need it .

> just wondering do you have any news? +1 @ngorogiannis