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.

Sam Blackshear 15480f34d5 distinguishing between failures and timeouts ... Summary: public Crashes during the analysis are classified as timeouts in the .specs file. In addition, when there is a timeout, it does not say *why* the timeout occurred (hard time, symops, or recursion). This diff adds this information to the .specs file and adds a "fail hard" mode where crashes and timeouts will actually stop the analysis in developer mode (but will still be hidden in the normal production mode). Reviewed By: jeremydubreil Differential Revision: D2725382 fb-gh-sync-id: b0b4e5e		9 years ago
..
annotations	Fix indentation of multiline copyright comment	10 years ago
bin	[sync] repair broken github sync	10 years ago
etc	[clang] replace yojson frontend with biniou frontend	10 years ago
lib	quote infer result dir shell variable	10 years ago
models	Fix indentation of multiline copyright comment	10 years ago
src	distinguishing between failures and timeouts	9 years ago
tests	Stop reporting false alarms due to __nullable on Obj-C property getters and setters	10 years ago
.merlin	initial synchronization	10 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	10 years ago
.project	initial synchronization	10 years ago
Makefile.in	migrate infer/Makefile	10 years ago