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.

Cristiano Calcagno b7bc95e1f9 Add option -merge_captured to merge the result of capture for different targets. ... Summary:public The option -merge_captured specifies that this is merging the results of capture using the buck integration. The file specifying the targets is read from `infer-out/infer-deps.txt`. Each dependency specifies a path in buck-out for one target: where the results directory after capture is. The option triggers a merge of the results directories into infer-out. The merge consists in making a virtual copy, where each file in a target in `buck-out` gets virtually copied into infer-out by making one symbolic link per file. There is a mechanism to detect when the capture of a target has already been copied: when each source file already exists at the destination. There's also an option `-modified_targets modified_targets.txt`. If a target is listed in `modified_targets.txt`, this will force a new creation of links for that target, whether those links exist or not. Reviewed By: martinoluca Differential Revision: D3070318 fb-gh-sync-id: 6d2e7a5 shipit-source-id: 6d2e7a5		9 years ago
..
annotations	Add SuppressViewNullability annotation	9 years ago
bin	remove symbolic link to deleted script BuckAnalyze	9 years ago
etc	[clang] replace yojson frontend with biniou frontend	9 years ago
lib	Proactively merge infer-deps.txt and report.json files and emit results to stdout	9 years ago
models	Add unique_ptr model	9 years ago
src	Add option -merge_captured to merge the result of capture for different targets.	9 years ago
tests	massive refactoring of harness generation	9 years ago
.merlin	adding ounit to .merlin	9 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	9 years ago
.project	initial synchronization	10 years ago
Makefile.in	migrate infer/Makefile	9 years ago