coverage reported correctly

Author: misrasaurabh1

codeflash/models/models.py

@@ -664,7 +664,7 @@ def log_coverage(self) -> None:
         from rich.tree import Tree
 
         tree = Tree("Test Coverage Results")
-        tree.add(f"Main Function: {self.main_func_coverage.name}: {self.coverage:.2f}%")
+        tree.add(f"Main Function: {self.main_func_coverage.name}: {self.main_func_coverage.coverage:.2f}%")
         if self.dependent_func_coverage:
             tree.add(
                 f"Dependent Function: {self.dependent_func_coverage.name}: {self.dependent_func_coverage.coverage:.2f}%"

codeflash/verification/coverage_utils.py

@@ -327,7 +327,8 @@ def load_from_jacoco_xml(
                         bare_name = method.get("name")
                         if bare_name:
                             all_methods[bare_name] = (method, method_line)
-                        if bare_name == function_name:
+                        # Match against bare name or qualified name (e.g., "computeDigest" or "Crypto.computeDigest")
+                        if bare_name == function_name or function_name.endswith("." + bare_name):
                             method_elem = method
                             method_start_line = method_line