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.

Jules Villard 1aa5b1e947 do not print source excerpts in bugs.txt ... Summary:public bugs.txt only contains the summary of each report. The terminal output contains a bit more information, such as source excerpts. If one wants to save the terminal output into a file, they can always use shell redirection anyway. closes #294 Reviewed By: martinoluca Differential Revision: D3023796 fb-gh-sync-id: 9a21d17 shipit-source-id: 9a21d17		9 years ago
..
annotations	Add the annotation @IgnoreAllocations to stop tracking allocations whenever useless	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	do not print source excerpts in bugs.txt	9 years ago
models	Fixed problem with null pointer dereference in c library models.	9 years ago
src	Restore printing of html for procedures	9 years ago
tests	move build integration tests to infer/tests/	9 years ago
.merlin	Update .merlin warnings list and compile flags	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