Files Coverage
common_files/charset.adb 88.89%
common_files/errors.adb 69.03%
common_files/errors.ads 100.00%
common_files/locations.adb 76.60%
common_files/ocarina-namet.adb 93.00%
common_files/ocarina-namet.ads 100.00%
common_files/ocarina-output.adb 86.05%
common_files/ocarina-types.adb 100.00%
common_files/outfiles.adb 82.35%
common_files/utils.adb 47.06%
common_files/utils.ads 100.00%
instance/ocarina-instances-annexes.adb 90.00%
instance/ocarina-instances-components-connections.adb 87.16%
instance/ocarina-instances-components-features.adb 78.33%
instance/ocarina-instances-components-modes.adb 72.09%
instance/ocarina-instances-components-subcomponents.adb 95.45%
instance/ocarina-instances-components-subprogram_calls.adb 77.87%
instance/ocarina-instances-components.adb 83.41%
instance/ocarina-instances-finder.adb 76.38%
instance/ocarina-instances-messages.adb 20.00%
instance/ocarina-instances-namespaces.adb 100.00%
instance/ocarina-instances-processor-properties.adb 66.48%
instance/ocarina-instances-properties.adb 75.14%
instance/ocarina-instances-queries.adb 66.96%
instance/ocarina-instances-real_checker-queries-access_predicates.adb 28.57%
instance/ocarina-instances-real_checker-queries-bound_predicates.adb 85.71%
instance/ocarina-instances-real_checker-queries-call_predicates.adb 72.31%
instance/ocarina-instances-real_checker-queries-connected_predicates.adb 92.59%
instance/ocarina-instances-real_checker-queries-passing_predicates.adb 69.23%
instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb 80.43%
...stance/ocarina-instances-real_checker-queries-provided_class_predicates.adb 100.00%
instance/ocarina-instances-real_checker-queries-relational_predicates.adb 48.08%
instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb 46.15%
instance/ocarina-instances-real_checker-queries.adb 56.07%
instance/ocarina-instances-real_checker-queries.ads 100.00%
instance/ocarina-instances-real_finder.adb 80.00%
instance/ocarina-instances.adb 81.77%
instance/ocarina-real_expander-flow_analysis.adb 89.47%
instance/ocarina-real_expander.adb 87.67%
mgmt/ocarina-files.adb 89.09%
mgmt/ocarina-files.ads 100.00%
mgmt/ocarina-options.adb 85.54%
mgmt/ocarina-options.ads 100.00%
mgmt/ocarina-parser.adb 90.91%
mgmt/ocarina.adb 88.89%
mgmt/ocarina.ads 100.00%
model/ocarina-analyzer-aadl-annexes.adb 90.00%
model/ocarina-analyzer-aadl-finder.adb 86.07%
model/ocarina-analyzer-aadl-legality_rules.adb 77.80%
model/ocarina-analyzer-aadl-links.adb 89.69%
model/ocarina-analyzer-aadl-names.adb 97.21%
model/ocarina-analyzer-aadl-naming_rules.adb 88.41%
model/ocarina-analyzer-aadl-naming_rules.ads 100.00%
model/ocarina-analyzer-aadl-queries.adb 48.43%
model/ocarina-analyzer-aadl-semantics.adb 89.35%
model/ocarina-analyzer-aadl.adb 92.41%
model/ocarina-analyzer-aadl_ba.adb 88.66%
model/ocarina-analyzer-aadl_ema-finder.adb 0.00%
model/ocarina-analyzer-aadl_ema-links.adb 0.00%
model/ocarina-analyzer-aadl_ema-naming_rules.adb 0.00%
model/ocarina-analyzer-aadl_ema.adb 20.59%
model/ocarina-analyzer-messages.adb 54.25%
model/ocarina-analyzer-real-finder.adb 67.37%
model/ocarina-analyzer-real-finder.ads 100.00%
model/ocarina-analyzer-real.adb 52.16%
model/ocarina-analyzer.adb 88.24%
model/ocarina-builder-aadl-annexes.adb 58.82%
model/ocarina-builder-aadl-components-arrays.adb 100.00%
model/ocarina-builder-aadl-components-connections.adb 96.97%
model/ocarina-builder-aadl-components-features.adb 89.47%
model/ocarina-builder-aadl-components-flows.adb 92.96%
model/ocarina-builder-aadl-components-modes.adb 88.00%
model/ocarina-builder-aadl-components-prototypes.adb 96.15%
model/ocarina-builder-aadl-components-subcomponents.adb 97.22%
model/ocarina-builder-aadl-components-subprogram_calls.adb 95.74%
model/ocarina-builder-aadl-components.adb 97.91%
model/ocarina-builder-aadl-namespaces.adb 92.54%
model/ocarina-builder-aadl-properties.adb 93.60%
model/ocarina-builder-aadl_ba-actions.adb 78.34%
model/ocarina-builder-aadl_ba-expressions.adb 59.13%
model/ocarina-builder-aadl_ba-specifications.adb 57.32%
model/ocarina-builder-aadl_ba-thread_dispatch.adb 84.44%
model/ocarina-builder-real.adb 80.00%
model/ocarina-processor-properties.adb 89.05%
tree/ocarina-aadl_values.adb 60.06%
tree/ocarina-aadl_values.ads 42.86%
tree/ocarina-annotations.adb 59.68%
tree/ocarina-ao4aadl_values.adb 0.36%
tree/ocarina-ao4aadl_values.ads 100.00%
tree/ocarina-ema_values.adb 0.79%
tree/ocarina-ema_values.ads 100.00%
tree/ocarina-me_aadl-aadl_instances-debug.adb 79.39%
tree/ocarina-me_aadl-aadl_instances-entities-properties.adb 53.33%
tree/ocarina-me_aadl-aadl_instances-entities.adb 63.92%
tree/ocarina-me_aadl-aadl_instances-nutils.adb 72.33%
tree/ocarina-me_aadl-aadl_instances-nutils.ads 0.00%
tree/ocarina-me_aadl-aadl_tree-debug.adb 65.85%
tree/ocarina-me_aadl-aadl_tree-entities-properties.adb 58.90%
tree/ocarina-me_aadl-aadl_tree-entities.adb 77.13%
tree/ocarina-me_aadl-aadl_tree-nutils.adb 52.16%
tree/ocarina-me_aadl-printers.adb 100.00%
tree/ocarina-me_aadl-tokens.adb 100.00%
tree/ocarina-me_aadl-tokens.ads 100.00%
tree/ocarina-me_aadl_ba-ba_tree-debug.adb 0.00%
tree/ocarina-me_aadl_ba-ba_tree-nutils.adb 34.38%
tree/ocarina-me_aadl_ba-tokens.adb 98.32%
tree/ocarina-me_aadl_ba-tokens.ads 100.00%
tree/ocarina-me_aadl_ema-ema_tokens.adb 92.11%
tree/ocarina-me_aadl_ema-ema_tokens.ads 100.00%
tree/ocarina-me_aadl_ema-ema_tree-debug.adb 0.00%
tree/ocarina-me_aadl_ema-ema_tree-nutils.adb 27.10%
tree/ocarina-me_aadl_ema-ema_tree-nutils.ads 100.00%
tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb 0.00%
tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb 0.00%
tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads 100.00%
tree/ocarina-me_ao4aadl-tokens.adb 90.32%
tree/ocarina-me_ao4aadl-tokens.ads 100.00%
tree/ocarina-me_real-real_tree-debug.adb 6.48%
tree/ocarina-me_real-real_tree-nutils.adb 98.99%
tree/ocarina-me_real-real_tree-nutils.ads 100.00%
tree/ocarina-me_real-real_tree-utils.adb 66.89%
tree/ocarina-me_real-tokens.adb 91.57%
tree/ocarina-me_real-tokens.ads 100.00%
tree/ocarina-property_sets.adb 88.73%
tree/ocarina-real_values.adb 56.30%
tree/ocarina-real_values.ads 100.00%
Folder Totals (126 files) 68.69%
Project Totals (369 files) 70.54%
Loading