Sam Blackshear ba7cef4657 [backend] differentiate unknown methods and methods with empty summaries ... Summary: Analyses should handle methods whose code is unknown and methods whose summary is a no-op differently. Previously, this was done correctly for some kinds of methods (e.g., native methods, which were recognized as unknown), but not for others (interface and abstract methods). This diff makes sure we correctly treat all three kinds as unknown. Reviewed By: jeremydubreil Differential Revision: D4142697 fbshipit-source-id: c88cff3		8 years ago
..
.idea	Add the models to the intellij project that contains the tests	9 years ago
build_systems	[infer] Unbreak the build integration tests	8 years ago
codetoanalyze	[backend] differentiate unknown methods and methods with empty summaries	8 years ago
repl	[backend] move expression pretty-printing into exp module	9 years ago
.inferconfig	Adding inferconfig support to skip the translation of generated source code	10 years ago
clang.make	[tests] run tests using report.json and record all bugs + exceptions	9 years ago
tests.iml	initial synchronization	10 years ago