Monday October 16 2017 15:17:13
Result of check for model F_MM

8 error(s) detected - 12 warning(s) detected
Category Code Message
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/LL_missionCancelled/
The local variable LL_missionCancelled has no definition
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/go/
The input variable go is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/mission_abort/
The input variable mission_abort is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/pushbutton_on/
The input variable pushbutton_on is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/estimated_total_mass/
The input variable estimated_total_mass is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/current_range/
The input variable current_range is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/current_speed/
The input variable current_speed is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/current_altitude/
The input variable current_altitude is never used
Post-namespace Warning WAR_508 Unused flow at f_mm::manage_mission/flight_mode/
The input variable flight_mode is never used
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/mission_complete/
The output variable mission_complete has no definition
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/mission_aborted/
The output variable mission_aborted has no definition
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/emergency_landing/
The output variable emergency_landing has no definition
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/start_landing/
The output variable start_landing has no definition
Post-namespace Error ERR_516 Undefined variable at f_mm::manage_mission/operating_point/
The output variable operating_point has no definition
Completion Error SE_EXILPA Illegal Empty Parameter at _L1, _L2 = (viab_mm::na<<_null, _null, _null, _null>>)(_null, _null, _null, _null, _null, _null, _null, _null, _null, _null, _null)
Post-namespace Warning WAR_508 Unused flow at flight_mm::compute_flight_viability/LL_viability_array/
The local variable LL_viability_array is never used
Post-namespace Warning WAR_508 Unused flow at flight_mm::compute_flight_viability/nav_parameters/
The input variable nav_parameters is never used
Post-namespace Warning WAR_508 Unused flow at flight_mm::compute_flight_viability/payload_mass/
The input variable payload_mass is never used
Post-namespace Warning WAR_508 Unused flow at flight_mm::compute_flight_viability/energy_level/
The input variable energy_level is never used
Type Error ERR_100 Type mismatch at flight_mm::compute_flight_viability/navigation_mode:then:LL_viability_array=
This expression has type {altitudes:float32^4, distances:float32^4,
masses:float32^4, speeds:float32^4, energies:float32^4^4^4^4}
but should have type bool
(output flow mismatch)

End of document.