From 92e3b16f8dec957c8f22eed3c21b01599f63145d Mon Sep 17 00:00:00 2001 From: podhrmic Date: Tue, 26 Jul 2016 10:58:16 -0700 Subject: [PATCH] [tests] Added new coverity test configuration Coveriry test configuration that passes travis build time limit --- .travis.yml | 2 +- Makefile | 4 + conf/conf_tests_coverity.xml | 398 +++++++++++++++++++++++++++++++++++ 3 files changed, 403 insertions(+), 1 deletion(-) create mode 100644 conf/conf_tests_coverity.xml diff --git a/.travis.yml b/.travis.yml index 6e40fa1e85..11e813da38 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,7 +27,7 @@ addons: description: "Build submitted via Travis CI" notification_email: paparazzi-builds@nongnu.org build_command_prepend: make ext; cov-configure --comptype gcc --compiler arm-none-eabi-gcc --template - build_command: make test + build_command: make test_coverity branch_pattern: coverity_scan notifications: diff --git a/Makefile b/Makefile index 29c9dd78ef..05c85b598e 100644 --- a/Makefile +++ b/Makefile @@ -304,6 +304,10 @@ ab_clean: # test: test_math test_examples +# subset of airframes for coverity test to pass the limited build time on travis +test_coverity: all + CONF_XML=conf/conf_tests_coverity.xml prove tests/aircrafts/ + # compiles all aircrafts in conf_tests.xml test_examples: all CONF_XML=conf/conf_tests.xml prove tests/aircrafts/ diff --git a/conf/conf_tests_coverity.xml b/conf/conf_tests_coverity.xml new file mode 100644 index 0000000000..fa23591e5e --- /dev/null +++ b/conf/conf_tests_coverity.xml @@ -0,0 +1,398 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +