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.

martinoluca cfd8a55f3b Add `-lib` flag to InferPrint to read specs files from multiple places ... Summary: While `-results_dir` is still the main place to look for specs files and to write reports, it's necessary to load specs from multiple folders because some build tools that run Infer with a target-level granularity may need to move specs files around in order to get complete reports, whereas with this change they just need to keep track of the `specs` folders generated for each target, and pass them through `-lib dir1 -lib dir2 ... -lib dirN`		9 years ago
..
BuckAnalyze	[infer][java] avoid converting javac command lines from bash to python as some buck options are incorectly parsed otherwise	9 years ago
infer	Add basic logging to infer -- script	10 years ago
inferJ	Complete copyright messages.	10 years ago
inferTest	Complete copyright messages.	10 years ago
inferTraceBugs	Complete copyright messages.	10 years ago
inferlib.py	Add `-lib` flag to InferPrint to read specs files from multiple places	9 years ago
jwlib.py	Complete copyright messages.	10 years ago
utils.py	Indent json files	10 years ago