Compare 2a326fd ... +0 ... 20c7828

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-types.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.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-main.adb backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.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-features.adb backends/aadl_pp/ocarina-be_aadl-components-modes.adb backends/aadl_pp/ocarina-be_aadl-components-flows.adb backends/aadl_pp/ocarina-be_aadl-annexes.adb backends/aadl_pp/ocarina-be_aadl-components-connections.adb backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.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_ba-identifiers.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/ocarina-backends-c_common-mapping.adb 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-debug.adb backends/petri_nets/ocarina-backends-pn-format-tina.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/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/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/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/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.adb backends/cheddar/ocarina-backends-cheddar-mapping.ads 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/ocarina-backends-properties-utils.adb backends/bound-t/ocarina-backends-boundt.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-properties-arinc653.adb backends/ocarina-backends-xml_common-mapping.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-finder.adb core/model/ocarina-analyzer-aadl-legality_rules.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-expressions.adb core/model/ocarina-builder-aadl_ba-actions.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-real.adb core/model/ocarina-builder-aadl-components-modes.adb core/model/ocarina-builder-aadl_ba-thread_dispatch.adb core/model/ocarina-builder-aadl-components-subprogram_calls.adb core/model/ocarina-analyzer-aadl_ema.adb core/model/ocarina-builder-aadl-components-subcomponents.adb core/model/ocarina-builder-aadl-components-connections.adb core/model/ocarina-analyzer.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-ao4aadl_values.adb core/tree/ocarina-real_values.adb core/tree/ocarina-me_aadl-aadl_instances-nutils.adb core/tree/ocarina-me_real-real_tree-utils.adb core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb core/tree/ocarina-aadl_values.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_aadl_ba-ba_tree-debug.adb core/tree/ocarina-me_real-tokens.adb core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb core/tree/ocarina-me_aadl-aadl_tree-debug.adb core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb core/tree/ocarina-me_aadl-tokens.adb core/tree/ocarina-me_aadl_ba-tokens.adb core/tree/ocarina-me_aadl_ema-ema_tokens.adb core/tree/ocarina-me_aadl-aadl_instances-debug.adb core/tree/ocarina-me_real-real_tree-debug.adb core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb core/tree/ocarina-me_real-real_tree-nutils.adb core/tree/ocarina-me_ao4aadl-tokens.adb core/tree/ocarina-me_aadl-aadl_instances-entities.adb core/tree/ocarina-annotations.adb core/tree/ocarina-property_sets.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-tokens.ads core/tree/ocarina-me_aadl-printers.adb 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-messages.adb core/instance/ocarina-instances-real_checker-queries-access_predicates.adb core/instance/ocarina-instances-annexes.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-parser-components.adb frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb frontends/aadl/ocarina-fe_aadl-lexer.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-annexes.adb frontends/aadl/ocarina-fe_aadl-parser_errors.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-parser-specifications.adb frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.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.

1 untracked files changed.
Other files ignored by Codecov

No tracked files changed.

Everything is accounted for!

No changes detected that need to be reviewed.
What changes does Codecov check for?
Lines, not adjusted in diff, that have changed coverage data.
Files that introduced coverage data that had none before.
Files that have missing coverage data that once were tracked.
Files Coverage
src 68.92%
Project Totals (369 files) 68.92%
Loading