Jeremy Dubreil a7e6ba7b2b [infer][java] add support for @Nonnull on skipped functions ... Summary: This diff does two things: # Infer no longer add the contrains that the return value of a skip function is never null. This was leading to false negatives and is not necessary as those return value are treated angelically # Infer now support `Nonnull` on the return value of skip functions. Reviewed By: jberdine, sblackshear Differential Revision: D5840324 fbshipit-source-id: bbd8d82		8 years ago
..
.inferconfig	[config] add option to force deletion of results dir	8 years ago
Makefile	[toplevel] do not read inferconfig location from the command line	8 years ago
build.xml	[java] update android.jar version to 23	8 years ago
issues.exp	[infer][java] add support for @Nonnull on skipped functions	8 years ago
src	[tests] convert ant integration test to a Makefile	8 years ago