Skip to content

Commit

Permalink
Added new coverity test configuration
Browse files Browse the repository at this point in the history
  • Loading branch information
@podhrmic
podhrmic committed Jul 26, 2016
1 parent 3fcdd8c commit cbc0744
Show file tree
Hide file tree
Showing 2 changed files with 300 additions and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
View file
Expand Up @@ -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:
Expand Down
299 changes: 299 additions & 0 deletions conf/conf_tests_coverity.xml
View file
@@ -0,0 +1,299 @@
<conf>
<aircraft
name="Ark_Quad"
ac_id="41"
airframe="airframes/AGGIEAIR/aggieair_ark_quad_lisa_mx.xml"
radio="radios/AGGIEAIR/aggieair_taranis.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic_geofence.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/nps.xml settings/control/stabilization_att_float_euler.xml"
settings_modules="modules/gps.xml"
gui_color="#ffff954c0000"
/>
<aircraft
name="BOOZ2"
ac_id="1"
airframe="airframes/examples/booz2.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/rotorcraft_basic.xml"
settings_modules="modules/gps.xml"
gui_color="white"
/>
<aircraft
name="Bixler"
ac_id="2"
airframe="airframes/examples/bixler_lisa_m_2.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/versatile.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml settings/nps.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="DualBoard_AP_FBW"
ac_id="3"
airframe="airframes/examples/separate_fbw_ap.xml"
radio="radios/R6107SP_7ch.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/versatile.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml"
settings_modules="modules/gps_ubx_ucenter.xml modules/light.xml modules/digital_cam.xml modules/nav_catapult.xml modules/air_data.xml modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="EasyStar_ETS"
ac_id="4"
airframe="airframes/examples/easystar_ets.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing.xml"
flight_plan="flight_plans/basic.xml"
settings="settings/fixedwing_basic.xml"
settings_modules="modules/gps.xml modules/air_data.xml modules/geo_mag.xml modules/gps_ubx_ucenter.xml"
gui_color="red"
/>
<aircraft
name="Hexa_LisaL"
ac_id="5"
airframe="airframes/examples/h_hex.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml"
settings_modules="modules/gps.xml"
gui_color="white"
/>
<aircraft
name="JP"
ac_id="6"
airframe="airframes/ENAC/fixed-wing/jp.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/basic.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_new.xml"
settings_modules="modules/airspeed_adc.xml modules/gps.xml modules/gps_ubx_ucenter.xml"
gui_color="#ffff7d7d0000"
/>
<aircraft
name="LadyLisa"
ac_id="7"
airframe="airframes/examples/ladybird_lisa_s.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml settings/superbitrf.xml settings/nps.xml"
settings_modules="modules/gps_ubx_ucenter.xml modules/gps.xml"
gui_color="white"
/>
<aircraft
name="LadyLisaBluetooth"
ac_id="8"
airframe="airframes/examples/ladybird_lisa_s_bluegiga.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml"
settings_modules="modules/gps_ubx_ucenter.xml modules/gps.xml"
gui_color="white"
/>
<aircraft
name="LisaLv11_Aspirinv15_FW"
ac_id="9"
airframe="airframes/testhardware/LisaL_v1.1_aspirin_v1.5_fw.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/fixedwing_basic.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="LisaLv11_Aspirinv15_RC"
ac_id="10"
airframe="airframes/testhardware/LisaL_v1.1_aspirin_v1.5_rc.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml"
settings_modules="modules/gps.xml"
gui_color="white"
/>
<aircraft
name="LisaLv11_Booz2v12_FW"
ac_id="11"
airframe="airframes/testhardware/LisaL_v1.1_b2_v1.2_fw.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/fixedwing_basic.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="LisaLv11_Booz2v12_RC"
ac_id="12"
airframe="airframes/testhardware/LisaL_v1.1_b2_v1.2_rc.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/dummy.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml"
settings_modules="modules/gps.xml"
gui_color="white"
/>
<aircraft
name="MentorEnergy"
ac_id="13"
airframe="airframes/examples/MentorEnergy.xml"
radio="radios/R6107SP_7ch.xml"
telemetry="telemetry/default_fixedwing_imu_9k6.xml"
flight_plan="flight_plans/versatile_airspeed.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_energy.xml settings/estimation/ac_char.xml"
settings_modules="modules/gps.xml modules/air_data.xml modules/geo_mag.xml modules/gps_ubx_ucenter.xml modules/light.xml modules/digital_cam.xml"
gui_color="#ffffffffffff"
/>
<aircraft
name="Microjet"
ac_id="14"
airframe="airframes/examples/microjet.xml"
radio="radios/cockpitMM.xml"
telemetry="telemetry/default_fixedwing.xml"
flight_plan="flight_plans/basic.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml"
settings_modules="modules/tune_airspeed.xml modules/gps.xml modules/infrared_adc.xml modules/nav_smooth.xml modules/nav_survey_poly_osam.xml"
gui_color="#6293ba"
/>
<aircraft
name="Microjet_LisaM"
ac_id="15"
airframe="airframes/examples/microjet_lisa_m.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/nav_modules.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml settings/control/ctl_dash_loiter_trim.xml settings/nps.xml"
settings_modules="modules/gps.xml modules/air_data.xml modules/nav_smooth.xml modules/nav_survey_poly_osam.xml"
gui_color="blue"
/>
<aircraft
name="Microjet_Twog_Aspirin"
ac_id="16"
airframe="airframes/examples/microjet_twog_aspirin.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/basic.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="Microjet_xsens_imu"
ac_id="17"
airframe="airframes/examples/microjet_imu_xsens.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/basic.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="Microjet_xsens_ins"
ac_id="18"
airframe="airframes/examples/microjet_lisa_m_xsens.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_fixedwing_imu.xml"
flight_plan="flight_plans/versatile.xml"
settings="settings/fixedwing_basic.xml settings/control/ctl_basic.xml settings/estimation/ins_neutrals.xml settings/control/ctl_dash_loiter_trim.xml"
settings_modules="modules/gps.xml"
gui_color="blue"
/>
<aircraft
name="Minion_Lia"
ac_id="42"
airframe="airframes/AGGIEAIR/aggieair_rp3_lia.xml"
radio="radios/AGGIEAIR/aggieair_taranis.xml"
telemetry="telemetry/default_fixedwing.xml"
flight_plan="flight_plans/AGGIEAIR/BasicTuning_Launcher.xml"
settings="settings/fixedwing_basic.xml settings/nps.xml settings/control/ctl_basic.xml"
settings_modules="modules/gps.xml modules/nav_survey_poly_osam.xml modules/nav_skid_landing.xml"
gui_color="#00009e93ffff"
/>
<aircraft
name="Quad_Elle0"
ac_id="19"
airframe="airframes/examples/quadrotor_elle0.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml settings/estimation/ahrs_float_mlkf.xml settings/nps.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml modules/geo_mag.xml modules/air_data.xml"
gui_color="white"
/>
<aircraft
name="Quad_HBMini"
ac_id="20"
airframe="airframes/examples/quadrotor_hbmini.xml"
radio="radios/dx6iCHNI.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml"
gui_color="white"
/>
<aircraft
name="Quad_LisaMX"
ac_id="21"
airframe="airframes/examples/quadrotor_lisa_mx.xml"
radio="radios/dummy.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml settings/estimation/ahrs_float_mlkf.xml settings/nps.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml modules/geo_mag.xml modules/air_data.xml"
gui_color="blue"
/>
<aircraft
name="Quad_LisaM_2"
ac_id="22"
airframe="airframes/examples/quadrotor_lisa_m_2_pwm_spektrum.xml"
radio="radios/dummy.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml settings/estimation/ahrs_int_cmpl_quat.xml settings/nps.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml modules/geo_mag.xml modules/air_data.xml"
gui_color="white"
/>
<aircraft
name="Quad_NavGo"
ac_id="23"
airframe="airframes/examples/quadrotor_navgo.xml"
radio="radios/cockpitSX.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/control/stabilization_att_int.xml settings/nps.xml"
settings_modules="modules/servo_switch.xml modules/rotorcraft_cam.xml modules/digital_cam.xml modules/nav_survey_rectangle_rotorcraft.xml modules/gps.xml"
gui_color="white"
/>
<aircraft
name="Quad_Navstik"
ac_id="24"
airframe="airframes/examples/quadrotor_navstik.xml"
radio="radios/dummy.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/rotorcraft_guidance.xml settings/estimation/ahrs_int_cmpl_quat.xml settings/nps.xml settings/control/stabilization_indi.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml"
gui_color="#710080"
/>
<aircraft
name="Quad_Revolution"
ac_id="43"
airframe="airframes/examples/quadrotor_revo.xml"
radio="radios/dummy.xml"
telemetry="telemetry/default_rotorcraft.xml"
flight_plan="flight_plans/rotorcraft_basic.xml"
settings="settings/rotorcraft_basic.xml settings/control/stabilization_att_int_quat.xml settings/nps.xml"
settings_modules="modules/gps.xml modules/gps_ubx_ucenter.xml modules/geo_mag.xml modules/air_data.xml"
gui_color="blue"
/>
</conf>

0 comments on commit cbc0744

Please sign in to comment.