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.

Josh Berdine a7c657da56 [lock-consistency] Only suppress truncated traces in Java ... Summary: In C++ some modeled functions have definitions, which leads to traces that contain an access from the modeling, but continue on into the implementation of the modeled function. Such traces appear the same as those that are truncated due to limitations of the buck integration in the Java analysis. Since all Java models are for functions without definitions in the code base, this diff limits the truncated trace suppression to the Java analysis. Reviewed By: sblackshear Differential Revision: D6373793 fbshipit-source-id: 1f01509		7 years ago
..
annotations	[make] print @ commands when passed VERBOSE=1	8 years ago
bin	[make] make infer/src/Makefile less phony	8 years ago
etc	[clang] replace yojson frontend with biniou frontend	10 years ago
lib	[linters] Disable DISCOURAGED_WEAK_PROPERTY_CUSTOM_SETTER because of low fixrate	7 years ago
models	[objc] Model dispatch functions	7 years ago
src	[lock-consistency] Only suppress truncated traces in Java	7 years ago
tests	[infer][checkers] remove the `-a biabduction` option and the related code	7 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	10 years ago