--- covered --- /Requirements/01-Syntax/identifier/01-l: 59 /Requirements/01-Syntax/identifier/01-l-u-lN: 1 /Requirements/01-Syntax/identifier/01-l-ulN: 1 /Requirements/01-Syntax/identifier/02-d-l: 1 /Requirements/01-Syntax/identifier/02-l-u-l-u: 1 /Requirements/01-Syntax/identifier/02-l-u-u-l: 1 /Requirements/01-Syntax/identifier/02-u-l: 1 /Requirements/01-Syntax/package_spec/01-no-pri-bsaN: 1 /Requirements/01-Syntax/package_spec/01-no-pri-no: 1 /Requirements/01-Syntax/package_spec/01-no-pri-none: 1 /Requirements/01-Syntax/package_spec/01-pub-no-bsa1: 1 /Requirements/01-Syntax/package_spec/01-pub-no-no: 1 /Requirements/01-Syntax/package_spec/01-pub-pri-bsa2: 1 /Requirements/01-Syntax/package_spec/01-pub-pri-no: 1 /Requirements/01-Syntax/package_spec/02-omit_package: 1 /Requirements/01-Syntax/package_spec/02-pri-pub-pro: 1 /Requirements/01-Syntax/package_spec/02-pro-pub-pri: 1 /Requirements/01-Syntax/package_spec/02-pub-pro-pri: 1 /Requirements/02-Semantic/SC0001/AADL-11.1-N2/01-pos: 1 /Requirements/02-Semantic/SC0001/AADL-11.1-N2/02-neg: 1 /Requirements/04-Examples/04_2/Aircraft_Cockpit_4_2: 1 /Requirements/04-Examples/04_3/TypeExample_4_3: 1 /Requirements/04-Examples/04_4/ImplementationExample_4_4: 1 /Requirements/04-Examples/04_5_1/Sampling_4_5_1: 1 /Requirements/04-Examples/04_5_2/Redundancy_4_5_2: 1 /Requirements/04-Examples/04_6/CarSystem_4_6: 1 /Requirements/04-Examples/10_1/FlowSpecificationExample: 1 /Requirements/04-Examples/10_2/FlowImplementationExample: 1 /Requirements/04-Examples/11_1_1/propertyset: 1 --- failed --- /Requirements/04-Examples/04_2/Aircraft_Cockpit_4_2: | Ocarina failed: RESULT is 'INVALID' instead of 'VALID' Aircraft_Cockpit_4_2.aadl:17:48: Avionics::DataTypes::AirData (identifier) is not visible Cannot analyze AADL specifications /Requirements/04-Examples/04_5_2/Redundancy_4_5_2: | Ocarina failed: RESULT is 'INVALID' instead of 'VALID' Redundancy_4_5_2.aadl:17:50: parsing Record_Term_Element, token '=>' is expected, found token ')' Redundancy_4_5_2.aadl:17:64: parsing Property_Association, token ';' is expected, found token '}' Redundancy_4_5_2.aadl:15:07: parsing Connections, list is empty Cannot parse AADL specifications