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 b539366a5c [build] fail early if running `make test` with only some analyzers, add `make config_tests` ... Summary: We shouldn't encourage contributors to run only a subset of the tests with `make test`, but it's more helpful to complain clearly should they try to do so. Now `make test` will ensure that both the clang and the Java analyzers are enabled, otherwise it will refuse to run and suggest to run `make config_tests` instead. It can still be useful to be able to run only the Java or Clang tests. The diff also fixes the cases where that previously failed. Fixes #634 Reviewed By: jberdine Differential Revision: D4826515 fbshipit-source-id: 4b76029		9 years ago
..
annotations	[make] print @ commands when passed VERBOSE=1	9 years ago
bin	[make] make infer/src/Makefile less phony	9 years ago
etc	[clang] replace yojson frontend with biniou frontend	11 years ago
lib	[infer][PR] Fix ValueError: unknown locale: UTF-8	9 years ago
models	[C++] Use annotate attribute instead of deprecated	9 years ago
src	[build] fail early if running `make test` with only some analyzers, add `make config_tests`	9 years ago
tests	[Typ] Change Typ.pp_full to not include class keywords	9 years ago
.merlin	[CTL] Initial version of a step-by-step debugger for CTL formulas	9 years ago
.ocp-indent	add ocp-indent configuration and eclipse launcher	11 years ago