55 Commits (d4c3d39fb9bcc54a52dc1f2a98c9ebed8238c243)

Author	SHA1	Message	Date
jrm	aa7bf8e69b	[infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output	10 years ago
Jules Villard	26108302d2	[infer] report number of files analysed in the absence of *.cfg ... Summary: @public We were counting the number of matches for `infer-out/captured/*/*.cfg`, but some ways of running infer (eg, inferJ) do not produce cfgs. Instead, count the number of directorys `infer-out/captured/*/`. Test Plan: make -C infer java reports the number of models analysed instead of 0.	10 years ago
Andrzej Kotulski	f62005a761	Add simple check for python version	10 years ago
Sam Blackshear	93cd195aef	[Infer][frontend] Removing logging from inferJ	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago