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.

jrm 2dc796542a [infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed ... Summary: When detecting a resource leak, Infer used to raise an Leak exception and then prevent the specs to be computed for the paths containing a leak. This diff prevents resource leak to stop the analysis.		10 years ago
..
checkers	Complete copyright messages.	10 years ago
eradicate	[copyrightor] format start and end of copyright comments	10 years ago
errors	Complete copyright messages.	10 years ago
harness	Complete copyright messages.	10 years ago
infer	[infer][java] the detection of a resource leak should not prevent the symbolic execution to proceed	10 years ago
tracing	Complete copyright messages.	10 years ago
.inferconfig	initial synchronization	10 years ago
BUCK	initial synchronization	10 years ago