Files Coverage
aadl_pp 75.13%
aadl_xml 94.04%
air_conf 92.00%
arinc653 50.17%
arinc653_conf 1.29%
asn1_deployment 94.58%
ast_ada 70.88%
ast_asn1 48.55%
ast_c 73.93%
ast_xml 51.79%
cheddar 92.29%
connection_matrix 92.58%
deos_conf 87.71%
functions_matrix 97.84%
lnt 88.75%
mast 66.76%
petri_nets 86.12%
po_hi_ada 87.51%
po_hi_c 87.31%
real 73.85%
stats 73.04%
subprograms 60.16%
vxwork653_conf 88.72%
xtratum_conf 91.66%
alloy/ocarina-backends-alloy.adb 84.43%
bound-t/ocarina-backends-boundt.adb 85.14%
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%
Folder Totals (49 files) 72.19%
Project Totals (369 files) 70.54%
Loading