303 Commits (789fcaff4c6f383f4a00133b6137344769897358)

Author	SHA1	Message	Date
jrm	e734c1873d	Fix cases of resource leaks not detected when the resource indirectly implements Closeable ... Summary:public Before this diff, the Java frontend was not adding the definition of the inherited interfaces to the type environment, thus failing to answer questions like "does type X implements Closeable". Infer was therefore missing to detect resource leaks when the resource was indirectly implementing Closeable via an intermediate interface. Reviewed By: sblackshear Differential Revision: D3067555 fb-gh-sync-id: 86d0760 shipit-source-id: 86d0760	9 years ago
Jules Villard	73d5a355f6	add mock gradle for e2e test ... Summary:public Adds a mock gradle to test the gradle integration even when gradle is not installed. Reviewed By: jeremydubreil Differential Revision: D2995664 fb-gh-sync-id: f974a67 shipit-source-id: f974a67	9 years ago
Jules Villard	09f5605a6e	move build integration tests to infer/tests/ ... Summary:public It's a test, so infer/tests/ is a good place for it. Also, park the expected outputs all in their own directory. This will help a future diff that changes the gradle integration test. Reviewed By: jeremydubreil Differential Revision: D3019305 fb-gh-sync-id: d3a3ed8 shipit-source-id: d3a3ed8	9 years ago