Files Coverage
aadl_pp/ocarina-be_aadl-annexes.adb 61.90%
aadl_pp/ocarina-be_aadl-components-arrays.adb 94.74%
aadl_pp/ocarina-be_aadl-components-connections.adb 83.58%
aadl_pp/ocarina-be_aadl-components-features.adb 92.45%
aadl_pp/ocarina-be_aadl-components-flows.adb 100.00%
aadl_pp/ocarina-be_aadl-components-modes.adb 83.65%
aadl_pp/ocarina-be_aadl-components-prototypes.adb 100.00%
aadl_pp/ocarina-be_aadl-components-subcomponents.adb 95.00%
aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb 100.00%
aadl_pp/ocarina-be_aadl-components.adb 94.32%
aadl_pp/ocarina-be_aadl-identifiers.adb 100.00%
aadl_pp/ocarina-be_aadl-namespaces.adb 75.93%
aadl_pp/ocarina-be_aadl-properties-values.adb 86.19%
aadl_pp/ocarina-be_aadl-properties.adb 95.79%
aadl_pp/ocarina-be_aadl.adb 38.85%
aadl_pp/ocarina-be_aadl_ba-actions.adb 41.54%
aadl_pp/ocarina-be_aadl_ba-expressions.adb 51.15%
aadl_pp/ocarina-be_aadl_ba-identifiers.adb 30.00%
aadl_pp/ocarina-be_aadl_ba-specifications.adb 68.37%
aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb 60.29%
aadl_pp/ocarina-be_aadl_ba.adb 66.67%
aadl_xml/ocarina-backends-aadl_xml-main.adb 98.20%
aadl_xml/ocarina-backends-aadl_xml-mapping.adb 78.95%
aadl_xml/ocarina-backends-aadl_xml.adb 85.29%
aadl_xml/ocarina-backends-aadl_xml.ads 100.00%
air_conf/ocarina-backends-air_conf-air_configuration.adb 98.95%
air_conf/ocarina-backends-air_conf-mapping.adb 85.42%
air_conf/ocarina-backends-air_conf-module.adb 86.96%
air_conf/ocarina-backends-air_conf-partitions.adb 91.01%
air_conf/ocarina-backends-air_conf.adb 81.82%
air_conf/ocarina-backends-air_conf.ads 100.00%
alloy/ocarina-backends-alloy.adb 84.43%
arinc653/ocarina-backends-pok_c-activity.adb 65.55%
arinc653/ocarina-backends-pok_c-deployment.adb 40.88%
arinc653/ocarina-backends-pok_c-main.adb 57.22%
arinc653/ocarina-backends-pok_c-makefile.adb 1.53%
arinc653/ocarina-backends-pok_c-naming.adb 83.98%
arinc653/ocarina-backends-pok_c-runtime.adb 82.42%
arinc653/ocarina-backends-pok_c.adb 61.54%
arinc653/ocarina-backends-pok_c.ads 100.00%
arinc653_conf/ocarina-backends-arinc653_conf-connections.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf-memory.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb 3.05%
arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb 3.26%
arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb 0.00%
arinc653_conf/ocarina-backends-arinc653_conf.adb 8.11%
arinc653_conf/ocarina-backends-arinc653_conf.ads 100.00%
asn1_deployment/ocarina-backends-asn1-deployment.adb 96.09%
asn1_deployment/ocarina-backends-asn1.adb 80.95%
asn1_deployment/ocarina-backends-asn1.ads 100.00%
ast_ada/ocarina-backends-ada_tree-debug.adb 0.00%
ast_ada/ocarina-backends-ada_tree-generator.adb 74.53%
ast_ada/ocarina-backends-ada_tree-nutils.adb 81.50%
ast_ada/ocarina-backends-ada_tree-nutils.ads 100.00%
ast_ada/ocarina-backends-ada_values.adb 25.61%
ast_ada/ocarina-backends-ada_values.ads 100.00%
ast_asn1/ocarina-backends-asn1_tree-debug.adb 0.00%
ast_asn1/ocarina-backends-asn1_tree-generator.adb 92.99%
ast_asn1/ocarina-backends-asn1_tree-nutils.adb 80.22%
ast_asn1/ocarina-backends-asn1_tree-nutils.ads 100.00%
ast_asn1/ocarina-backends-asn1_values.adb 10.07%
ast_asn1/ocarina-backends-asn1_values.ads 100.00%
ast_c/ocarina-backends-c_tree-debug.adb 0.00%
ast_c/ocarina-backends-c_tree-generator.adb 93.33%
ast_c/ocarina-backends-c_tree-nutils.adb 78.97%
ast_c/ocarina-backends-c_tree-nutils.ads 100.00%
ast_c/ocarina-backends-c_values.adb 16.43%
ast_c/ocarina-backends-c_values.ads 100.00%
ast_xml/ocarina-backends-xml_tree-debug.adb 0.00%
ast_xml/ocarina-backends-xml_tree-generator.adb 95.92%
ast_xml/ocarina-backends-xml_tree-nutils.adb 63.31%
ast_xml/ocarina-backends-xml_tree-nutils.ads 100.00%
ast_xml/ocarina-backends-xml_values.adb 20.26%
ast_xml/ocarina-backends-xml_values.ads 100.00%
bound-t/ocarina-backends-boundt.adb 85.14%
cheddar/ocarina-backends-cheddar-main.adb 97.75%
cheddar/ocarina-backends-cheddar-mapping.adb 96.37%
cheddar/ocarina-backends-cheddar-mapping.ads 100.00%
cheddar/ocarina-backends-cheddar.adb 82.76%
cheddar/ocarina-backends-cheddar.ads 100.00%
cheddar/ocarina-backends-pok_cheddar.adb 84.28%
cheddar/ocarina-backends-pok_cheddar.ads 100.00%
connection_matrix/ocarina-backends-connection_matrix-main.adb 92.23%
connection_matrix/ocarina-backends-connection_matrix-main.ads 100.00%
connection_matrix/ocarina-backends-connection_matrix.adb 95.24%
connection_matrix/ocarina-backends-connection_matrix.ads 100.00%
deos_conf/ocarina-backends-deos_conf-hm.adb 81.88%
deos_conf/ocarina-backends-deos_conf-mapping.adb 97.28%
deos_conf/ocarina-backends-deos_conf-naming.adb 88.37%
deos_conf/ocarina-backends-deos_conf-partitions.adb 86.84%
deos_conf/ocarina-backends-deos_conf-schedule.adb 80.95%
deos_conf/ocarina-backends-deos_conf.adb 81.82%
deos_conf/ocarina-backends-deos_conf.ads 100.00%
functions_matrix/ocarina-backends-functions_matrix-main.adb 98.05%
functions_matrix/ocarina-backends-functions_matrix-main.ads 100.00%
functions_matrix/ocarina-backends-functions_matrix.adb 95.24%
functions_matrix/ocarina-backends-functions_matrix.ads 100.00%
lnt/ocarina-backends-lnt-components.adb 86.04%
lnt/ocarina-backends-lnt-debug.adb 0.00%
lnt/ocarina-backends-lnt-nutils.adb 76.54%
lnt/ocarina-backends-lnt-nutils.ads 100.00%
lnt/ocarina-backends-lnt-printer.adb 80.71%
lnt/ocarina-backends-lnt-svl_generator.adb 97.69%
lnt/ocarina-backends-lnt-tree_generator.adb 96.43%
lnt/ocarina-backends-lnt-tree_generator_main.adb 99.15%
lnt/ocarina-backends-lnt-tree_generator_port.adb 93.33%
lnt/ocarina-backends-lnt-tree_generator_processor.adb 97.69%
lnt/ocarina-backends-lnt-tree_generator_thread.adb 92.28%
lnt/ocarina-backends-lnt-tree_generator_types.adb 100.00%
lnt/ocarina-backends-lnt.adb 98.53%
lnt/ocarina-backends-lnt.ads 100.00%
mast/ocarina-backends-mast-main.adb 82.69%
mast/ocarina-backends-mast.adb 83.33%
mast/ocarina-backends-mast.ads 100.00%
mast/ocarina-backends-mast_tree-debug.adb 0.00%
mast/ocarina-backends-mast_tree-generator.adb 81.62%
mast/ocarina-backends-mast_tree-nutils.adb 63.10%
mast/ocarina-backends-mast_tree-nutils.ads 100.00%
mast/ocarina-backends-mast_values.adb 20.26%
mast/ocarina-backends-mast_values.ads 100.00%
ocarina-backends-build_utils.adb 84.66%
ocarina-backends-build_utils.ads 100.00%
ocarina-backends-c_common-ba.adb 90.04%
ocarina-backends-c_common-mapping.adb 41.32%
ocarina-backends-c_common-subprograms.adb 85.67%
ocarina-backends-c_common-types.adb 84.87%
ocarina-backends-execution_tests.adb 0.44%
ocarina-backends-execution_tests.ads 100.00%
ocarina-backends-execution_utils.adb 0.00%
ocarina-backends-execution_utils.ads 100.00%
ocarina-backends-expander.adb 75.90%
ocarina-backends-helper.adb 100.00%
ocarina-backends-helper.ads 37.88%
ocarina-backends-messages.adb 100.00%
ocarina-backends-properties-arinc653.adb 93.62%
ocarina-backends-properties-utils.adb 26.35%
ocarina-backends-properties-utils.ads 100.00%
ocarina-backends-properties.adb 63.24%
ocarina-backends-replication_expander.adb 0.27%
ocarina-backends-replication_properties.adb 0.00%
ocarina-backends-utils.adb 65.09%
ocarina-backends-xml_common-mapping.adb 66.67%
ocarina-backends.adb 82.14%
petri_nets/ocarina-backends-pn-components.adb 88.31%
petri_nets/ocarina-backends-pn-debug.adb 7.69%
petri_nets/ocarina-backends-pn-format-cami.adb 91.50%
petri_nets/ocarina-backends-pn-format-tina.adb 85.87%
petri_nets/ocarina-backends-pn-iutils.adb 88.29%
petri_nets/ocarina-backends-pn-nutils.adb 98.18%
petri_nets/ocarina-backends-pn-printer.adb 100.00%
petri_nets/ocarina-backends-pn-utils.adb 100.00%
petri_nets/ocarina-backends-pn.adb 91.43%
po_hi_ada/ocarina-backends-po_hi_ada-activity.adb 86.36%
po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb 98.56%
po_hi_ada/ocarina-backends-po_hi_ada-job.adb 80.54%
po_hi_ada/ocarina-backends-po_hi_ada-main.adb 91.16%
po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb 88.44%
po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb 91.95%
po_hi_ada/ocarina-backends-po_hi_ada-naming.adb 84.30%
po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb 98.64%
po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb 95.13%
po_hi_ada/ocarina-backends-po_hi_ada-transport.adb 93.02%
po_hi_ada/ocarina-backends-po_hi_ada-types.adb 81.72%
po_hi_ada/ocarina-backends-po_hi_ada.adb 75.55%
po_hi_ada/ocarina-backends-po_hi_ada.ads 100.00%
po_hi_c/ocarina-backends-po_hi_c-activity.adb 95.36%
po_hi_c/ocarina-backends-po_hi_c-deployment.adb 81.20%
po_hi_c/ocarina-backends-po_hi_c-main.adb 87.31%
po_hi_c/ocarina-backends-po_hi_c-marshallers.adb 91.15%
po_hi_c/ocarina-backends-po_hi_c-naming.adb 75.79%
po_hi_c/ocarina-backends-po_hi_c-request.adb 98.63%
po_hi_c/ocarina-backends-po_hi_c-runtime.adb 89.12%
po_hi_c/ocarina-backends-po_hi_c.adb 67.63%
real/ocarina-backends-real-debug.adb 0.00%
real/ocarina-backends-real.adb 72.78%
real/ocarina-be_real.adb 83.22%
stats/ocarina-backends-stats-main.adb 89.56%
stats/ocarina-backends-stats-main.ads 100.00%
stats/ocarina-backends-stats-mapping.adb 63.62%
stats/ocarina-backends-stats.adb 95.24%
stats/ocarina-backends-stats.ads 100.00%
subprograms/ocarina-backends-subprograms.adb 59.67%
subprograms/ocarina-backends-subprograms.ads 100.00%
vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb 90.57%
vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb 85.05%
vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb 98.10%
vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb 95.05%
vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb 85.59%
vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb 79.12%
vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb 85.57%
vxwork653_conf/ocarina-backends-vxworks653_conf.adb 82.86%
vxwork653_conf/ocarina-backends-vxworks653_conf.ads 100.00%
xtratum_conf/ocarina-backends-xtratum_conf-channels.adb 97.63%
xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb 95.41%
xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb 86.79%
xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb 82.35%
xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb 96.97%
xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb 87.67%
xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb 97.06%
xtratum_conf/ocarina-backends-xtratum_conf.adb 91.67%
xtratum_conf/ocarina-backends-xtratum_conf.ads 100.00%
Folder Totals (204 files) 72.21%
Project Totals (369 files) 70.58%
Loading