infer_clone

Author	SHA1	Message	Date
Jeremy Dubreil	d4565107f6	[infer][biabduction] add the name of the skipped methods to the trace to make them more readable Summary: This makes the traces more readable when involving skipped functions. Reviewed By: sblackshear Differential Revision: D5731683 fbshipit-source-id: 49d363b	7 years ago
Jules Villard	9a2746c143	[make] fix javac capture Summary: This deteriorated over time. Reviewed By: dulmarod Differential Revision: D5406274 fbshipit-source-id: 286f122	7 years ago
Paco Estevez Garcia	5482f110c1	Add type path_exec to represent an skipped path of execution. Add logic to symExec to report skipped paths Summary: Adds a new type and branching for a missing path of execution. closes #575 Reviewed By: jvillard Differential Revision: D4738681 fbshipit-source-id: f72344c	8 years ago
Josh Berdine	1a5ac9e62b	Use natural order on hpred, optionally ignoring instrumentation Reviewed By: jeremydubreil Differential Revision: D4243981 fbshipit-source-id: 825b910	8 years ago
Jules Villard	b4bd78bb05	[tests] convert utf8 in pwd test to Makefile Reviewed By: jberdine Differential Revision: D4329658 fbshipit-source-id: f9231cc	8 years ago