OpenAADL / ocarina

Compare 39973ba ... +3 ... 5582e59

Coverage Reach
backends/po_hi_ada/ocarina-backends-po_hi_ada-job.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-activity.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-types.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb backends/po_hi_ada/ocarina-backends-po_hi_ada.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-naming.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-main.adb backends/po_hi_ada/ocarina-backends-po_hi_ada.ads backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb backends/po_hi_c/ocarina-backends-po_hi_c-marshallers.adb backends/po_hi_c/ocarina-backends-po_hi_c-main.adb backends/po_hi_c/ocarina-backends-po_hi_c.adb backends/po_hi_c/ocarina-backends-po_hi_c-request.adb backends/po_hi_c/ocarina-backends-po_hi_c-naming.adb backends/po_hi_c/ocarina-backends-po_hi_c-runtime.adb backends/arinc653/ocarina-backends-pok_c-deployment.adb backends/arinc653/ocarina-backends-pok_c-activity.adb backends/arinc653/ocarina-backends-pok_c-main.adb backends/arinc653/ocarina-backends-pok_c-makefile.adb backends/arinc653/ocarina-backends-pok_c-runtime.adb backends/arinc653/ocarina-backends-pok_c-naming.adb backends/arinc653/ocarina-backends-pok_c.adb backends/arinc653/ocarina-backends-pok_c.ads backends/lnt/ocarina-backends-lnt-tree_generator_processor.adb backends/lnt/ocarina-backends-lnt-printer.adb backends/lnt/ocarina-backends-lnt-components.adb backends/lnt/ocarina-backends-lnt-tree_generator_main.adb backends/lnt/ocarina-backends-lnt-tree_generator_thread.adb backends/lnt/ocarina-backends-lnt-tree_generator_types.adb backends/lnt/ocarina-backends-lnt-nutils.adb backends/lnt/ocarina-backends-lnt-svl_generator.adb backends/lnt/ocarina-backends-lnt-debug.adb backends/lnt/ocarina-backends-lnt.adb backends/lnt/ocarina-backends-lnt-tree_generator.adb backends/lnt/ocarina-backends-lnt-tree_generator_port.adb backends/lnt/ocarina-backends-lnt.ads backends/lnt/ocarina-backends-lnt-nutils.ads backends/ast_ada/ocarina-backends-ada_tree-generator.adb backends/ast_ada/ocarina-backends-ada_tree-nutils.adb backends/ast_ada/ocarina-backends-ada_values.adb backends/ast_ada/ocarina-backends-ada_tree-debug.adb backends/ast_ada/ocarina-backends-ada_tree-nutils.ads backends/ast_ada/ocarina-backends-ada_values.ads backends/aadl_pp/ocarina-be_aadl-properties-values.adb backends/aadl_pp/ocarina-be_aadl-components.adb backends/aadl_pp/ocarina-be_aadl_ba-actions.adb backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb backends/aadl_pp/ocarina-be_aadl-properties.adb backends/aadl_pp/ocarina-be_aadl_ba-specifications.adb backends/aadl_pp/ocarina-be_aadl.adb backends/aadl_pp/ocarina-be_aadl-namespaces.adb backends/aadl_pp/ocarina-be_aadl-components-flows.adb backends/aadl_pp/ocarina-be_aadl-components-features.adb backends/aadl_pp/ocarina-be_aadl-components-modes.adb backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb backends/aadl_pp/ocarina-be_aadl-components-connections.adb backends/aadl_pp/ocarina-be_aadl-annexes.adb backends/aadl_pp/ocarina-be_aadl_ba-identifiers.adb backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb backends/aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb backends/aadl_pp/ocarina-be_aadl-components-arrays.adb backends/aadl_pp/ocarina-be_aadl_ba.adb backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb backends/aadl_pp/ocarina-be_aadl-identifiers.adb backends/ocarina-backends-c_common-ba.adb backends/ast_c/ocarina-backends-c_tree-nutils.adb backends/ast_c/ocarina-backends-c_tree-generator.adb backends/ast_c/ocarina-backends-c_values.adb backends/ast_c/ocarina-backends-c_tree-debug.adb backends/ast_c/ocarina-backends-c_tree-nutils.ads backends/ast_c/ocarina-backends-c_values.ads backends/petri_nets/ocarina-backends-pn-components.adb backends/petri_nets/ocarina-backends-pn-iutils.adb backends/petri_nets/ocarina-backends-pn-format-cami.adb backends/petri_nets/ocarina-backends-pn-format-tina.adb backends/petri_nets/ocarina-backends-pn-debug.adb backends/petri_nets/ocarina-backends-pn-printer.adb backends/petri_nets/ocarina-backends-pn-nutils.adb backends/petri_nets/ocarina-backends-pn.adb backends/petri_nets/ocarina-backends-pn-utils.adb backends/real/ocarina-backends-real.adb backends/real/ocarina-be_real.adb backends/real/ocarina-backends-real-debug.adb backends/ocarina-backends-c_common-mapping.adb backends/mast/ocarina-backends-mast_tree-generator.adb backends/mast/ocarina-backends-mast-main.adb backends/mast/ocarina-backends-mast_tree-nutils.adb backends/mast/ocarina-backends-mast_values.adb backends/mast/ocarina-backends-mast_tree-debug.adb backends/mast/ocarina-backends-mast.adb backends/mast/ocarina-backends-mast_tree-nutils.ads backends/mast/ocarina-backends-mast_values.ads backends/mast/ocarina-backends-mast.ads backends/ocarina-backends-properties.adb backends/ocarina-backends-utils.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-connections.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-memory.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb backends/arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb backends/arinc653_conf/ocarina-backends-arinc653_conf.adb backends/arinc653_conf/ocarina-backends-arinc653_conf.ads backends/ocarina-backends-build_utils.adb backends/ocarina-backends-replication_expander.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf.adb backends/vxwork653_conf/ocarina-backends-vxworks653_conf.ads backends/xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-channels.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb backends/xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb backends/xtratum_conf/ocarina-backends-xtratum_conf.adb backends/xtratum_conf/ocarina-backends-xtratum_conf.ads backends/ocarina-backends-c_common-types.adb backends/ast_asn1/ocarina-backends-asn1_values.adb backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb backends/ast_asn1/ocarina-backends-asn1_tree-generator.adb backends/ast_asn1/ocarina-backends-asn1_tree-debug.adb backends/ast_asn1/ocarina-backends-asn1_tree-nutils.ads backends/ast_asn1/ocarina-backends-asn1_values.ads backends/ast_xml/ocarina-backends-xml_tree-nutils.adb backends/ast_xml/ocarina-backends-xml_values.adb backends/ast_xml/ocarina-backends-xml_tree-generator.adb backends/ast_xml/ocarina-backends-xml_tree-debug.adb backends/ast_xml/ocarina-backends-xml_tree-nutils.ads backends/ast_xml/ocarina-backends-xml_values.ads backends/deos_conf/ocarina-backends-deos_conf-partitions.adb backends/deos_conf/ocarina-backends-deos_conf-mapping.adb backends/deos_conf/ocarina-backends-deos_conf-hm.adb backends/deos_conf/ocarina-backends-deos_conf-schedule.adb backends/deos_conf/ocarina-backends-deos_conf-naming.adb backends/deos_conf/ocarina-backends-deos_conf.adb backends/deos_conf/ocarina-backends-deos_conf.ads backends/stats/ocarina-backends-stats-mapping.adb backends/stats/ocarina-backends-stats-main.adb backends/stats/ocarina-backends-stats.adb backends/stats/ocarina-backends-stats-main.ads backends/stats/ocarina-backends-stats.ads backends/air_conf/ocarina-backends-air_conf-partitions.adb backends/air_conf/ocarina-backends-air_conf-air_configuration.adb backends/air_conf/ocarina-backends-air_conf-module.adb backends/air_conf/ocarina-backends-air_conf-mapping.adb backends/air_conf/ocarina-backends-air_conf.adb backends/air_conf/ocarina-backends-air_conf.ads backends/cheddar/ocarina-backends-cheddar-mapping.adb backends/cheddar/ocarina-backends-pok_cheddar.adb backends/cheddar/ocarina-backends-cheddar-main.adb backends/cheddar/ocarina-backends-cheddar-mapping.ads backends/cheddar/ocarina-backends-cheddar.adb backends/cheddar/ocarina-backends-pok_cheddar.ads backends/cheddar/ocarina-backends-cheddar.ads backends/ocarina-backends-c_common-subprograms.adb backends/ocarina-backends-execution_tests.adb backends/aadl_xml/ocarina-backends-aadl_xml-main.adb backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb backends/aadl_xml/ocarina-backends-aadl_xml.adb backends/aadl_xml/ocarina-backends-aadl_xml.ads backends/ocarina-backends-expander.adb backends/connection_matrix/ocarina-backends-connection_matrix-main.adb backends/connection_matrix/ocarina-backends-connection_matrix.adb backends/connection_matrix/ocarina-backends-connection_matrix.ads backends/connection_matrix/ocarina-backends-connection_matrix-main.ads backends/subprograms/ocarina-backends-subprograms.adb backends/subprograms/ocarina-backends-subprograms.ads backends/functions_matrix/ocarina-backends-functions_matrix-main.adb backends/functions_matrix/ocarina-backends-functions_matrix.adb backends/functions_matrix/ocarina-backends-functions_matrix-main.ads backends/functions_matrix/ocarina-backends-functions_matrix.ads backends/asn1_deployment/ocarina-backends-asn1-deployment.adb backends/asn1_deployment/ocarina-backends-asn1.adb backends/asn1_deployment/ocarina-backends-asn1.ads backends/ocarina-backends-replication_properties.adb backends/bound-t/ocarina-backends-boundt.adb backends/ocarina-backends-properties-utils.adb backends/ocarina-backends.adb backends/alloy/ocarina-backends-alloy.adb backends/ocarina-backends-execution_utils.adb backends/ocarina-backends-helper.ads backends/ocarina-backends-xml_common-mapping.adb backends/ocarina-backends-properties-arinc653.adb backends/ocarina-backends-messages.adb backends/ocarina-backends-execution_tests.ads backends/ocarina-backends-helper.adb backends/ocarina-backends-execution_utils.ads backends/ocarina-backends-build_utils.ads backends/ocarina-backends-properties-utils.ads core/model/ocarina-analyzer-aadl-links.adb core/model/ocarina-analyzer-aadl_ba.adb core/model/ocarina-analyzer-real.adb core/model/ocarina-analyzer-aadl-semantics.adb core/model/ocarina-processor-properties.adb core/model/ocarina-analyzer-aadl_ema-naming_rules.adb core/model/ocarina-analyzer-aadl-legality_rules.adb core/model/ocarina-analyzer-aadl-finder.adb core/model/ocarina-analyzer-aadl_ema-finder.adb core/model/ocarina-analyzer-aadl-names.adb core/model/ocarina-analyzer-aadl-queries.adb core/model/ocarina-analyzer-aadl-naming_rules.adb core/model/ocarina-analyzer-messages.adb core/model/ocarina-builder-aadl_ba-actions.adb core/model/ocarina-builder-aadl_ba-expressions.adb core/model/ocarina-builder-aadl-properties.adb core/model/ocarina-builder-aadl-components.adb core/model/ocarina-builder-aadl_ba-specifications.adb core/model/ocarina-builder-aadl-namespaces.adb core/model/ocarina-builder-aadl-components-features.adb core/model/ocarina-analyzer-real-finder.adb core/model/ocarina-analyzer-aadl.adb core/model/ocarina-builder-aadl-components-flows.adb core/model/ocarina-analyzer-aadl-annexes.adb core/model/ocarina-builder-aadl-annexes.adb core/model/ocarina-builder-aadl-components-modes.adb core/model/ocarina-builder-aadl-components-subprogram_calls.adb core/model/ocarina-builder-real.adb core/model/ocarina-builder-aadl_ba-thread_dispatch.adb core/model/ocarina-builder-aadl-components-subcomponents.adb core/model/ocarina-analyzer.adb core/model/ocarina-analyzer-aadl_ema.adb core/model/ocarina-builder-aadl-components-connections.adb core/model/ocarina-builder-aadl-components-prototypes.adb core/model/ocarina-builder-aadl-components-arrays.adb core/model/ocarina-analyzer-aadl_ema-links.adb core/model/ocarina-analyzer-real-finder.ads core/model/ocarina-analyzer-aadl-naming_rules.ads core/tree/ocarina-real_values.adb core/tree/ocarina-ao4aadl_values.adb core/tree/ocarina-aadl_values.adb core/tree/ocarina-me_aadl-aadl_instances-nutils.adb core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb core/tree/ocarina-me_real-real_tree-utils.adb core/tree/ocarina-ema_values.adb core/tree/ocarina-me_aadl-aadl_tree-nutils.adb core/tree/ocarina-me_aadl-aadl_tree-entities.adb core/tree/ocarina-me_real-tokens.adb core/tree/ocarina-me_aadl-aadl_tree-debug.adb core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb core/tree/ocarina-me_aadl-tokens.adb core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb core/tree/ocarina-me_aadl-aadl_instances-debug.adb core/tree/ocarina-me_aadl_ba-tokens.adb core/tree/ocarina-me_aadl_ema-ema_tokens.adb core/tree/ocarina-me_real-real_tree-debug.adb core/tree/ocarina-me_real-real_tree-nutils.adb core/tree/ocarina-me_aadl-aadl_instances-entities.adb core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb core/tree/ocarina-me_ao4aadl-tokens.adb core/tree/ocarina-property_sets.adb core/tree/ocarina-annotations.adb core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb core/tree/ocarina-aadl_values.ads core/tree/ocarina-me_real-real_tree-nutils.ads core/tree/ocarina-me_aadl_ema-ema_tokens.ads core/tree/ocarina-me_ao4aadl-tokens.ads core/tree/ocarina-me_aadl-printers.adb core/tree/ocarina-me_aadl-tokens.ads core/tree/ocarina-me_aadl_ba-tokens.ads core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads core/tree/ocarina-me_aadl_ema-ema_tree-nutils.ads core/tree/ocarina-real_values.ads core/tree/ocarina-ema_values.ads core/tree/ocarina-ao4aadl_values.ads core/tree/ocarina-me_real-tokens.ads core/tree/ocarina-me_aadl-aadl_instances-nutils.ads core/instance/ocarina-instances-properties.adb core/instance/ocarina-instances-processor-properties.adb core/instance/ocarina-instances-finder.adb core/instance/ocarina-real_expander-flow_analysis.adb core/instance/ocarina-instances-queries.adb core/instance/ocarina-instances-real_checker-queries.adb core/instance/ocarina-instances-components.adb core/instance/ocarina-instances.adb core/instance/ocarina-instances-components-features.adb core/instance/ocarina-instances-components-modes.adb core/instance/ocarina-instances-real_finder.adb core/instance/ocarina-instances-components-subprogram_calls.adb core/instance/ocarina-instances-components-connections.adb core/instance/ocarina-real_expander.adb core/instance/ocarina-instances-real_checker-queries-call_predicates.adb core/instance/ocarina-instances-real_checker-queries-relational_predicates.adb core/instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb core/instance/ocarina-instances-annexes.adb core/instance/ocarina-instances-messages.adb core/instance/ocarina-instances-real_checker-queries-access_predicates.adb core/instance/ocarina-instances-namespaces.adb core/instance/ocarina-instances-real_checker-queries-connected_predicates.adb core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb core/instance/ocarina-instances-components-subcomponents.adb core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb core/instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb core/instance/ocarina-instances-real_checker-queries-provided_class_predicates.adb core/instance/ocarina-instances-real_checker-queries.ads core/common_files/ocarina-namet.adb core/common_files/utils.adb core/common_files/errors.adb core/common_files/ocarina-output.adb core/common_files/locations.adb core/common_files/charset.adb core/common_files/outfiles.adb core/common_files/ocarina-types.adb core/common_files/errors.ads core/common_files/ocarina-namet.ads core/common_files/utils.ads core/mgmt/ocarina-files.adb core/mgmt/ocarina-options.adb core/mgmt/ocarina-parser.adb core/mgmt/ocarina.adb core/mgmt/ocarina-options.ads core/mgmt/ocarina.ads core/mgmt/ocarina-files.ads frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb frontends/aadl/ocarina-fe_aadl-parser-properties.adb frontends/aadl/ocarina-fe_aadl-lexer.adb frontends/aadl/ocarina-fe_aadl-parser-components.adb frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb frontends/aadl/ocarina-fe_aadl-parser-components-features.adb frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb frontends/aadl/ocarina-fe_aadl-parser.adb frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb frontends/aadl/ocarina-fe_aadl-parser_errors.adb frontends/aadl/ocarina-fe_aadl-parser-annexes.adb frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb frontends/aadl/ocarina-fe_aadl.adb frontends/aadl/ocarina-fe_aadl-lexer.ads frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb frontends/aadl_ba/ocarina-fe_aadl_ba.adb frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads frontends/real/ocarina-fe_real-parser.adb frontends/real/ocarina-fe_real-lexer.adb frontends/real/ocarina-fe_real-parser_errors.adb frontends/real/ocarina-fe_real.adb frontends/real/ocarina-fe_real-lexer.ads frontends/real/ocarina-fe_real-parser.ads main/ocarina_cmd.adb main/ocarina-scripts.adb main/ocarina-cmd_line.adb python/ocarina-utils.adb

No flags found

Use flags to group coverage reports by test type, project and/or folders.
Then setup custom commit statuses and notifications for each flag.

e.g., #unittest #integration

#production #enterprise

#frontend #backend

Learn more about Codecov Flags here.


@@ -7,7 +7,7 @@
Loading
7 7
--                                 B o d y                                  --
8 8
--                                                                          --
9 9
--               Copyright (C) 2008-2009 Telecom ParisTech,                 --
10 +
--                 2010-2019 ESA & ISAE, 2019-2021 OpenAADL                 --
10 11
--                                                                          --
11 12
-- Ocarina  is free software; you can redistribute it and/or modify under   --
12 13
-- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -725,23 +725,27 @@
Loading
725 725
      Scan_Token;
726 726
727 727
      if Token = T_List then
728 -
         Is_A_List    := True;
729 -
         Multiplicity := 1;
728 +
         Is_A_List := True;
730 729
731 -
         Save_Lexer (Loc);
732 -
         Scan_Token;
730 +
         loop
731 +
            --  Parse nested "list of"
732 +
            Multiplicity := Multiplicity + 1;
733 733
734 -
         if Token = T_Of then
734 +
            Save_Lexer (Loc);
735 735
            Scan_Token;
736 -
            if Token /= T_List then
737 -
               Restore_Lexer (Loc);
736 +
            if Token = T_Of then
737 +
               Scan_Token;
738 +
               if Token /= T_List then
739 +
                  Restore_Lexer (Loc);
740 +
                  exit;
741 +
               end if;
738 742
            else
739 -
               Multiplicity := 2; -- XXX shall we iterate? BNF says yes
743 +
               Restore_Lexer (Loc);
744 +
               exit;
740 745
            end if;
741 -
         else
742 -
            Restore_Lexer (Loc);
743 -
         end if;
746 +
         end loop;
744 747
748 +
         --  Current token has be to "list" for P_Multi_Valued_Property
745 749
         Property_Definition_Value := P_Multi_Valued_Property;
746 750
         Single_Default_Value      := No_Node;
747 751

Learn more Showing 1 files with coverage changes found.

Changes in src/frontends/aadl/ocarina-fe_aadl-parser-properties.adb
+1
Loading file...
Files Coverage
src -<.01% 70.54%
Project Totals (369 files) 70.54%
Loading