Files Coverage
backends/aadl_pp/ocarina-be_aadl-annexes.adb 61.29%
backends/aadl_pp/ocarina-be_aadl-components-arrays.adb 94.29%
backends/aadl_pp/ocarina-be_aadl-components-connections.adb 82.26%
backends/aadl_pp/ocarina-be_aadl-components-features.adb 92.23%
backends/aadl_pp/ocarina-be_aadl-components-flows.adb 100.00%
backends/aadl_pp/ocarina-be_aadl-components-modes.adb 83.17%
backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb 100.00%
backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb 95.00%
backends/aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb 100.00%
backends/aadl_pp/ocarina-be_aadl-components.adb 94.22%
backends/aadl_pp/ocarina-be_aadl-identifiers.adb 100.00%
backends/aadl_pp/ocarina-be_aadl-namespaces.adb 74.76%
backends/aadl_pp/ocarina-be_aadl-properties-values.adb 84.96%
backends/aadl_pp/ocarina-be_aadl-properties.adb 95.50%
backends/aadl_pp/ocarina-be_aadl.adb 37.50%
backends/aadl_pp/ocarina-be_aadl_ba-actions.adb 38.82%
backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb 44.54%
backends/aadl_pp/ocarina-be_aadl_ba-identifiers.adb 26.32%
backends/aadl_pp/ocarina-be_aadl_ba-specifications.adb 66.49%
backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb 55.74%
backends/aadl_pp/ocarina-be_aadl_ba.adb 62.07%
backends/aadl_xml/ocarina-backends-aadl_xml-main.adb 96.75%
backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb 77.78%
backends/aadl_xml/ocarina-backends-aadl_xml.adb 82.14%
backends/aadl_xml/ocarina-backends-aadl_xml.ads 100.00%
backends/air_conf/ocarina-backends-air_conf-air_configuration.adb 98.92%
backends/air_conf/ocarina-backends-air_conf-mapping.adb 84.78%
backends/air_conf/ocarina-backends-air_conf-module.adb 86.15%
backends/air_conf/ocarina-backends-air_conf-partitions.adb 90.74%
backends/air_conf/ocarina-backends-air_conf.adb 81.82%
backends/air_conf/ocarina-backends-air_conf.ads 100.00%
backends/alloy/ocarina-backends-alloy.adb 82.73%
backends/arinc653/ocarina-backends-pok_c-activity.adb 65.01%
backends/arinc653/ocarina-backends-pok_c-deployment.adb 39.66%
backends/arinc653/ocarina-backends-pok_c-main.adb 56.50%
backends/arinc653/ocarina-backends-pok_c-makefile.adb 1.53%
backends/arinc653/ocarina-backends-pok_c-naming.adb 83.24%
backends/arinc653/ocarina-backends-pok_c-runtime.adb 79.55%
backends/arinc653/ocarina-backends-pok_c.adb 60.23%
backends/arinc653/ocarina-backends-pok_c.ads 100.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-connections.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-memory.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb 3.05%
backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb 3.26%
backends/arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb 0.00%
backends/arinc653_conf/ocarina-backends-arinc653_conf.adb 8.11%
backends/arinc653_conf/ocarina-backends-arinc653_conf.ads 100.00%
backends/asn1_deployment/ocarina-backends-asn1-deployment.adb 96.02%
backends/asn1_deployment/ocarina-backends-asn1.adb 80.95%
backends/asn1_deployment/ocarina-backends-asn1.ads 100.00%
backends/ast_ada/ocarina-backends-ada_tree-debug.adb 0.00%
backends/ast_ada/ocarina-backends-ada_tree-generator.adb 74.18%
backends/ast_ada/ocarina-backends-ada_tree-nutils.adb 80.16%
backends/ast_ada/ocarina-backends-ada_tree-nutils.ads 100.00%
backends/ast_ada/ocarina-backends-ada_values.adb 17.57%
backends/ast_ada/ocarina-backends-ada_values.ads 100.00%
backends/ast_asn1/ocarina-backends-asn1_tree-debug.adb 0.00%
backends/ast_asn1/ocarina-backends-asn1_tree-generator.adb 92.86%
backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb 79.31%
backends/ast_asn1/ocarina-backends-asn1_tree-nutils.ads 100.00%
backends/ast_asn1/ocarina-backends-asn1_values.adb 6.50%
backends/ast_asn1/ocarina-backends-asn1_values.ads 100.00%
backends/ast_c/ocarina-backends-c_tree-debug.adb 0.00%
backends/ast_c/ocarina-backends-c_tree-generator.adb 93.08%
backends/ast_c/ocarina-backends-c_tree-nutils.adb 77.59%
backends/ast_c/ocarina-backends-c_tree-nutils.ads 100.00%
backends/ast_c/ocarina-backends-c_values.adb 11.15%
backends/ast_c/ocarina-backends-c_values.ads 100.00%
backends/ast_xml/ocarina-backends-xml_tree-debug.adb 0.00%
backends/ast_xml/ocarina-backends-xml_tree-generator.adb 95.14%
backends/ast_xml/ocarina-backends-xml_tree-nutils.adb 60.77%
backends/ast_xml/ocarina-backends-xml_tree-nutils.ads 100.00%
backends/ast_xml/ocarina-backends-xml_values.adb 13.81%
backends/ast_xml/ocarina-backends-xml_values.ads 100.00%
backends/bound-t/ocarina-backends-boundt.adb 83.58%
backends/cheddar/ocarina-backends-cheddar-main.adb 97.65%
backends/cheddar/ocarina-backends-cheddar-mapping.adb 96.22%
backends/cheddar/ocarina-backends-cheddar-mapping.ads 100.00%
backends/cheddar/ocarina-backends-cheddar.adb 82.76%
backends/cheddar/ocarina-backends-cheddar.ads 100.00%
backends/cheddar/ocarina-backends-pok_cheddar.adb 83.71%
backends/cheddar/ocarina-backends-pok_cheddar.ads 100.00%
backends/connection_matrix/ocarina-backends-connection_matrix-main.adb 92.11%
backends/connection_matrix/ocarina-backends-connection_matrix-main.ads 100.00%
backends/connection_matrix/ocarina-backends-connection_matrix.adb 95.24%
backends/connection_matrix/ocarina-backends-connection_matrix.ads 100.00%
backends/deos_conf/ocarina-backends-deos_conf-hm.adb 80.92%
backends/deos_conf/ocarina-backends-deos_conf-mapping.adb 97.22%
backends/deos_conf/ocarina-backends-deos_conf-naming.adb 87.80%
backends/deos_conf/ocarina-backends-deos_conf-partitions.adb 86.05%
backends/deos_conf/ocarina-backends-deos_conf-schedule.adb 79.80%
backends/deos_conf/ocarina-backends-deos_conf.adb 81.82%
backends/deos_conf/ocarina-backends-deos_conf.ads 100.00%
backends/functions_matrix/ocarina-backends-functions_matrix-main.adb 98.01%
backends/functions_matrix/ocarina-backends-functions_matrix-main.ads 100.00%
backends/functions_matrix/ocarina-backends-functions_matrix.adb 95.24%
backends/functions_matrix/ocarina-backends-functions_matrix.ads 100.00%
backends/lnt/ocarina-backends-lnt-components.adb 84.59%
backends/lnt/ocarina-backends-lnt-debug.adb 0.00%
backends/lnt/ocarina-backends-lnt-nutils.adb 74.23%
backends/lnt/ocarina-backends-lnt-nutils.ads 100.00%
backends/lnt/ocarina-backends-lnt-printer.adb 80.49%
backends/lnt/ocarina-backends-lnt-svl_generator.adb 97.60%
backends/lnt/ocarina-backends-lnt-tree_generator.adb 96.15%
backends/lnt/ocarina-backends-lnt-tree_generator_main.adb 99.13%
backends/lnt/ocarina-backends-lnt-tree_generator_port.adb 92.31%
backends/lnt/ocarina-backends-lnt-tree_generator_processor.adb 97.58%
backends/lnt/ocarina-backends-lnt-tree_generator_thread.adb 92.20%
backends/lnt/ocarina-backends-lnt-tree_generator_types.adb 100.00%
backends/lnt/ocarina-backends-lnt.adb 98.53%
backends/lnt/ocarina-backends-lnt.ads 100.00%
backends/mast/ocarina-backends-mast-main.adb 82.22%
backends/mast/ocarina-backends-mast.adb 83.33%
backends/mast/ocarina-backends-mast.ads 100.00%
backends/mast/ocarina-backends-mast_tree-debug.adb 0.00%
backends/mast/ocarina-backends-mast_tree-generator.adb 81.55%
backends/mast/ocarina-backends-mast_tree-nutils.adb 62.20%
backends/mast/ocarina-backends-mast_tree-nutils.ads 100.00%
backends/mast/ocarina-backends-mast_values.adb 13.81%
backends/mast/ocarina-backends-mast_values.ads 100.00%
backends/ocarina-backends-build_utils.adb 82.84%
backends/ocarina-backends-build_utils.ads 100.00%
backends/ocarina-backends-c_common-ba.adb 89.60%
backends/ocarina-backends-c_common-mapping.adb 40.80%
backends/ocarina-backends-c_common-subprograms.adb 85.53%
backends/ocarina-backends-c_common-types.adb 84.49%
backends/ocarina-backends-execution_tests.adb 0.44%
backends/ocarina-backends-execution_tests.ads 100.00%
backends/ocarina-backends-execution_utils.adb 0.00%
backends/ocarina-backends-execution_utils.ads 100.00%
backends/ocarina-backends-expander.adb 75.38%
backends/ocarina-backends-helper.adb 100.00%
backends/ocarina-backends-helper.ads 28.07%
backends/ocarina-backends-messages.adb 100.00%
backends/ocarina-backends-properties-arinc653.adb 93.02%
backends/ocarina-backends-properties-utils.adb 24.31%
backends/ocarina-backends-properties-utils.ads 100.00%
backends/ocarina-backends-properties.adb 61.94%
backends/ocarina-backends-replication_expander.adb 0.27%
backends/ocarina-backends-replication_properties.adb 0.00%
backends/ocarina-backends-utils.adb 63.43%
backends/ocarina-backends-xml_common-mapping.adb 61.90%
backends/ocarina-backends.adb 80.31%
backends/petri_nets/ocarina-backends-pn-components.adb 87.06%
backends/petri_nets/ocarina-backends-pn-debug.adb 6.67%
backends/petri_nets/ocarina-backends-pn-format-cami.adb 89.27%
backends/petri_nets/ocarina-backends-pn-format-tina.adb 83.95%
backends/petri_nets/ocarina-backends-pn-iutils.adb 88.09%
backends/petri_nets/ocarina-backends-pn-nutils.adb 98.15%
backends/petri_nets/ocarina-backends-pn-printer.adb 100.00%
backends/petri_nets/ocarina-backends-pn-utils.adb 100.00%
backends/petri_nets/ocarina-backends-pn.adb 91.43%
backends/po_hi_ada/ocarina-backends-po_hi_ada-activity.adb 86.30%
backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb 98.44%
backends/po_hi_ada/ocarina-backends-po_hi_ada-job.adb 80.06%
backends/po_hi_ada/ocarina-backends-po_hi_ada-main.adb 90.71%
backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb 87.68%
backends/po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb 91.54%
backends/po_hi_ada/ocarina-backends-po_hi_ada-naming.adb 83.48%
backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb 98.31%
backends/po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb 95.06%
backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb 92.87%
backends/po_hi_ada/ocarina-backends-po_hi_ada-types.adb 80.97%
backends/po_hi_ada/ocarina-backends-po_hi_ada.adb 73.29%
backends/po_hi_ada/ocarina-backends-po_hi_ada.ads 100.00%
backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb 95.28%
backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb 80.87%
backends/po_hi_c/ocarina-backends-po_hi_c-main.adb 86.96%
backends/po_hi_c/ocarina-backends-po_hi_c-marshallers.adb 91.05%
backends/po_hi_c/ocarina-backends-po_hi_c-naming.adb 74.63%
backends/po_hi_c/ocarina-backends-po_hi_c-request.adb 98.61%
backends/po_hi_c/ocarina-backends-po_hi_c-runtime.adb 85.05%
backends/po_hi_c/ocarina-backends-po_hi_c.adb 66.56%
backends/real/ocarina-backends-real-debug.adb 0.00%
backends/real/ocarina-backends-real.adb 69.29%
backends/real/ocarina-be_real.adb 82.29%
backends/stats/ocarina-backends-stats-main.adb 89.30%
backends/stats/ocarina-backends-stats-main.ads 100.00%
backends/stats/ocarina-backends-stats-mapping.adb 63.33%
backends/stats/ocarina-backends-stats.adb 95.24%
backends/stats/ocarina-backends-stats.ads 100.00%
backends/subprograms/ocarina-backends-subprograms.adb 58.82%
backends/subprograms/ocarina-backends-subprograms.ads 100.00%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb 90.20%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb 84.62%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb 98.02%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb 94.92%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb 84.96%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb 78.16%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb 84.62%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf.adb 82.86%
backends/vxwork653_conf/ocarina-backends-vxworks653_conf.ads 100.00%
backends/xtratum_conf/ocarina-backends-xtratum_conf-channels.adb 97.59%
...ackends/xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb 95.24%
backends/xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb 86.27%
backends/xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb 81.86%
backends/xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb 96.83%
backends/xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb 86.96%
backends/xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb 96.92%
backends/xtratum_conf/ocarina-backends-xtratum_conf.adb 91.67%
backends/xtratum_conf/ocarina-backends-xtratum_conf.ads 100.00%
core/common_files/charset.adb 85.71%
core/common_files/errors.adb 57.83%
core/common_files/errors.ads 100.00%
core/common_files/locations.adb 75.56%
core/common_files/ocarina-namet.adb 91.06%
core/common_files/ocarina-namet.ads 100.00%
core/common_files/ocarina-output.adb 84.42%
core/common_files/ocarina-types.adb 100.00%
core/common_files/outfiles.adb 81.25%
core/common_files/utils.adb 41.67%
core/common_files/utils.ads 100.00%
core/instance/ocarina-instances-annexes.adb 88.46%
core/instance/ocarina-instances-components-connections.adb 86.54%
core/instance/ocarina-instances-components-features.adb 77.06%
core/instance/ocarina-instances-components-modes.adb 70.00%
core/instance/ocarina-instances-components-subcomponents.adb 95.00%
core/instance/ocarina-instances-components-subprogram_calls.adb 77.12%
core/instance/ocarina-instances-components.adb 82.56%
core/instance/ocarina-instances-finder.adb 74.60%
core/instance/ocarina-instances-messages.adb 17.24%
core/instance/ocarina-instances-namespaces.adb 100.00%
core/instance/ocarina-instances-processor-properties.adb 64.76%
core/instance/ocarina-instances-properties.adb 73.90%
core/instance/ocarina-instances-queries.adb 65.58%
core/instance/ocarina-instances-real_checker-queries-access_predicates.adb 28.57%
core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb 85.71%
core/instance/ocarina-instances-real_checker-queries-call_predicates.adb 72.31%
...re/instance/ocarina-instances-real_checker-queries-connected_predicates.adb 92.31%
core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb 65.22%
.../instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb 80.00%
...stance/ocarina-instances-real_checker-queries-provided_class_predicates.adb 100.00%
...e/instance/ocarina-instances-real_checker-queries-relational_predicates.adb 38.30%
...instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb 46.15%
core/instance/ocarina-instances-real_checker-queries.adb 52.53%
core/instance/ocarina-instances-real_checker-queries.ads 100.00%
core/instance/ocarina-instances-real_finder.adb 78.05%
core/instance/ocarina-instances.adb 81.08%
core/instance/ocarina-real_expander-flow_analysis.adb 88.19%
core/instance/ocarina-real_expander.adb 86.96%
core/mgmt/ocarina-files.adb 85.88%
core/mgmt/ocarina-files.ads 100.00%
core/mgmt/ocarina-options.adb 84.62%
core/mgmt/ocarina-options.ads 100.00%
core/mgmt/ocarina-parser.adb 88.00%
core/mgmt/ocarina.adb 88.24%
core/mgmt/ocarina.ads 100.00%
core/model/ocarina-analyzer-aadl-annexes.adb 88.46%
core/model/ocarina-analyzer-aadl-finder.adb 84.60%
core/model/ocarina-analyzer-aadl-legality_rules.adb 72.86%
core/model/ocarina-analyzer-aadl-links.adb 88.85%
core/model/ocarina-analyzer-aadl-names.adb 96.99%
core/model/ocarina-analyzer-aadl-naming_rules.adb 87.46%
core/model/ocarina-analyzer-aadl-naming_rules.ads 100.00%
core/model/ocarina-analyzer-aadl-queries.adb 44.03%
core/model/ocarina-analyzer-aadl-semantics.adb 88.20%
core/model/ocarina-analyzer-aadl.adb 92.00%
core/model/ocarina-analyzer-aadl_ba.adb 87.17%
core/model/ocarina-analyzer-aadl_ema-finder.adb 0.00%
core/model/ocarina-analyzer-aadl_ema-links.adb 0.00%
core/model/ocarina-analyzer-aadl_ema-naming_rules.adb 0.00%
core/model/ocarina-analyzer-aadl_ema.adb 20.59%
core/model/ocarina-analyzer-messages.adb 49.46%
core/model/ocarina-analyzer-real-finder.adb 65.56%
core/model/ocarina-analyzer-real-finder.ads 100.00%
core/model/ocarina-analyzer-real.adb 49.10%
core/model/ocarina-analyzer.adb 84.62%
core/model/ocarina-builder-aadl-annexes.adb 55.32%
core/model/ocarina-builder-aadl-components-arrays.adb 100.00%
core/model/ocarina-builder-aadl-components-connections.adb 96.67%
core/model/ocarina-builder-aadl-components-features.adb 87.50%
core/model/ocarina-builder-aadl-components-flows.adb 91.94%
core/model/ocarina-builder-aadl-components-modes.adb 86.05%
core/model/ocarina-builder-aadl-components-prototypes.adb 96.00%
core/model/ocarina-builder-aadl-components-subcomponents.adb 96.97%
core/model/ocarina-builder-aadl-components-subprogram_calls.adb 94.87%
core/model/ocarina-builder-aadl-components.adb 97.52%
core/model/ocarina-builder-aadl-namespaces.adb 91.80%
core/model/ocarina-builder-aadl-properties.adb 92.70%
core/model/ocarina-builder-aadl_ba-actions.adb 74.46%
core/model/ocarina-builder-aadl_ba-expressions.adb 54.55%
core/model/ocarina-builder-aadl_ba-specifications.adb 54.42%
core/model/ocarina-builder-aadl_ba-thread_dispatch.adb 82.93%
core/model/ocarina-builder-real.adb 80.00%
core/model/ocarina-processor-properties.adb 88.01%
core/tree/ocarina-aadl_values.adb 49.61%
core/tree/ocarina-aadl_values.ads 38.46%
core/tree/ocarina-annotations.adb 50.98%
core/tree/ocarina-ao4aadl_values.adb 0.36%
core/tree/ocarina-ao4aadl_values.ads 100.00%
core/tree/ocarina-ema_values.adb 0.79%
core/tree/ocarina-ema_values.ads 100.00%
core/tree/ocarina-me_aadl-aadl_instances-debug.adb 75.23%
core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb 52.27%
core/tree/ocarina-me_aadl-aadl_instances-entities.adb 60.67%
core/tree/ocarina-me_aadl-aadl_instances-nutils.adb 70.86%
core/tree/ocarina-me_aadl-aadl_instances-nutils.ads 0.00%
core/tree/ocarina-me_aadl-aadl_tree-debug.adb 63.87%
core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb 54.64%
core/tree/ocarina-me_aadl-aadl_tree-entities.adb 74.75%
core/tree/ocarina-me_aadl-aadl_tree-nutils.adb 51.53%
core/tree/ocarina-me_aadl-printers.adb 100.00%
core/tree/ocarina-me_aadl-tokens.adb 100.00%
core/tree/ocarina-me_aadl-tokens.ads 100.00%
core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb 0.00%
core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb 33.54%
core/tree/ocarina-me_aadl_ba-tokens.adb 98.20%
core/tree/ocarina-me_aadl_ba-tokens.ads 100.00%
core/tree/ocarina-me_aadl_ema-ema_tokens.adb 91.89%
core/tree/ocarina-me_aadl_ema-ema_tokens.ads 100.00%
core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb 0.00%
core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb 25.66%
core/tree/ocarina-me_aadl_ema-ema_tree-nutils.ads 100.00%
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb 0.00%
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb 0.00%
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads 100.00%
core/tree/ocarina-me_ao4aadl-tokens.adb 90.00%
core/tree/ocarina-me_ao4aadl-tokens.ads 100.00%
core/tree/ocarina-me_real-real_tree-debug.adb 5.61%
core/tree/ocarina-me_real-real_tree-nutils.adb 98.95%
core/tree/ocarina-me_real-real_tree-nutils.ads 100.00%
core/tree/ocarina-me_real-real_tree-utils.adb 66.22%
core/tree/ocarina-me_real-tokens.adb 91.25%
core/tree/ocarina-me_real-tokens.ads 100.00%
core/tree/ocarina-property_sets.adb 84.00%
core/tree/ocarina-real_values.adb 42.30%
core/tree/ocarina-real_values.ads 100.00%
frontends/aadl/ocarina-fe_aadl-lexer.adb 80.05%
frontends/aadl/ocarina-fe_aadl-lexer.ads 100.00%
frontends/aadl/ocarina-fe_aadl-parser-annexes.adb 39.81%
frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb 70.00%
frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb 61.22%
frontends/aadl/ocarina-fe_aadl-parser-components-features.adb 71.39%
frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb 69.87%
frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb 66.04%
frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb 78.72%
frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb 77.50%
frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb 62.99%
frontends/aadl/ocarina-fe_aadl-parser-components.adb 75.63%
frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb 73.75%
frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb 76.32%
frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb 65.89%
frontends/aadl/ocarina-fe_aadl-parser-properties.adb 79.52%
frontends/aadl/ocarina-fe_aadl-parser.adb 83.96%
frontends/aadl/ocarina-fe_aadl-parser_errors.adb 73.33%
frontends/aadl/ocarina-fe_aadl.adb 100.00%
frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb 32.78%
frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads 100.00%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb 53.77%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb 49.34%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb 55.56%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb 47.74%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb 63.46%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb 56.04%
frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb 71.01%
frontends/aadl_ba/ocarina-fe_aadl_ba.adb 70.00%
frontends/real/ocarina-fe_real-lexer.adb 48.32%
frontends/real/ocarina-fe_real-lexer.ads 100.00%
frontends/real/ocarina-fe_real-parser.adb 72.13%
frontends/real/ocarina-fe_real-parser.ads 100.00%
frontends/real/ocarina-fe_real-parser_errors.adb 2.90%
frontends/real/ocarina-fe_real.adb 100.00%
main/ocarina-cmd_line.adb 80.91%
main/ocarina-scripts.adb 32.00%
main/ocarina_cmd.adb 76.29%
python/ocarina-utils.adb 10.23%
Folder Totals (369 files) 68.92%
Project Totals (369 files) 68.92%
Loading