You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

jrm 7e00a845d8 [infer][java] stop swallowing errors coming from compilation failures ... Summary: No longer swallow compilation failures for javac. Before this diff, the compilation failures where raised: > infer -- javac Test.java Test.java:5: error: ';' expected static String str = "Hello" ^ 1 error but the exit code was incorrect: > echo $? 0 With this diff, the failing command is printed in standard error: > infer -- javac Test.java Javac compilation error with: ['javac', '-g', 'Test.java', '-J-Duser.language=en'] and the exit code is different from 0. > echo $? 1		10 years ago
..
annotations	Complete copyright messages.	10 years ago
bin	[infer][java] stop swallowing errors coming from compilation failures	10 years ago
lib	Complete copyright messages.	10 years ago
models	[infer][java] add model for java.io.StringWriter which does not need to be closed	10 years ago
src	[infer][backend] basic Activity leak checking	10 years ago
tests	[Infer][tests] Adding missing copyright to ActivityLeaks	10 years ago
.merlin	initial synchronization	10 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	10 years ago
.project	initial synchronization	10 years ago
Makefile	Added LLVM target to top level makefile.	10 years ago