Files Coverage
aadl_pp 73.62%
aadl_xml 93.93%
air_conf 91.75%
arinc653 48.81%
arinc653_conf 1.29%
asn1_deployment 94.50%
ast_ada 69.58%
ast_asn1 46.88%
ast_c 72.58%
ast_xml 48.82%
cheddar 91.77%
connection_matrix 92.48%
deos_conf 87.15%
functions_matrix 97.81%
lnt 88.34%
mast 66.04%
petri_nets 84.76%
po_hi_ada 87.00%
po_hi_c 86.96%
real 70.79%
stats 72.69%
subprograms 59.34%
vxwork653_conf 88.31%
xtratum_conf 91.38%
alloy/ocarina-backends-alloy.adb 82.73%
bound-t/ocarina-backends-boundt.adb 83.58%
ocarina-backends-build_utils.adb 82.84%
ocarina-backends-build_utils.ads 100.00%
ocarina-backends-c_common-ba.adb 89.60%
ocarina-backends-c_common-mapping.adb 40.80%
ocarina-backends-c_common-subprograms.adb 85.53%
ocarina-backends-c_common-types.adb 84.49%
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.38%
ocarina-backends-helper.adb 100.00%
ocarina-backends-helper.ads 28.07%
ocarina-backends-messages.adb 100.00%
ocarina-backends-properties-arinc653.adb 93.02%
ocarina-backends-properties-utils.adb 24.31%
ocarina-backends-properties-utils.ads 100.00%
ocarina-backends-properties.adb 61.94%
ocarina-backends-replication_expander.adb 0.27%
ocarina-backends-replication_properties.adb 0.00%
ocarina-backends-utils.adb 63.43%
ocarina-backends-xml_common-mapping.adb 61.90%
ocarina-backends.adb 80.31%
Folder Totals (49 files) 71.03%
Project Totals (369 files) 68.92%
Loading