Add info message for skipped verifications

Ref. eng/recordflux/RecordFlux#1723

CHANGELOG.md

@@ -11,6 +11,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - Support for FSF GNAT 14.1 (eng/recordflux/RecordFlux#1679)
 - CLI flag `--legacy-errors` to restore previous error message format (eng/recordflux/RecordFlux#1685)
+- Info message for skipped verifications (eng/recordflux/RecordFlux#1723)
 
 ### Changed
 

rflx/model/cache.py

@@ -97,6 +97,10 @@ def __init__(self, file: Path = DEFAULT_FILE) -> None:
 
         self._load_cache()
 
+    @property
+    def is_verified_reason(self) -> str:
+        return "cached"
+
     def is_verified(self, digest: Digest) -> bool:
         return digest.key in self._verified and digest.value in self._verified[digest.key]
 
@@ -161,6 +165,10 @@ def is_verified(self, digest: Digest) -> bool:  # noqa: ARG002
     def add_verified(self, digest: Digest) -> None:
         pass
 
+    @property
+    def is_verified_reason(self) -> str:
+        return "verification disabled"
+
 
 class Digest:
     def __init__(self, declaration: TopLevelDeclaration) -> None:

rflx/model/model.py

@@ -35,6 +35,11 @@ def checked(
                 unverified = d.checked(declarations, skip_verification=True)
                 digest = Digest(unverified)
                 if cache.is_verified(digest):
+                    logging.info(
+                        "Skipping verification of {identifier} ({reason})",
+                        identifier=d.identifier,
+                        reason=cache.is_verified_reason,
+                    )
                     checked = unverified
                 else:
                     logging.info("Verifying {identifier}", identifier=d.identifier)

tests/end_to_end/cli_test.py

@@ -111,6 +111,13 @@ def test_check_no_verification() -> None:
         warning: model verification skipped
         info: Parsing tests/data/specs/ethernet.rflx
         info: Processing Ethernet
+        info: Skipping verification of __BUILTINS__::Boolean (verification disabled)
+        info: Skipping verification of __INTERNAL__::Opaque (verification disabled)
+        info: Skipping verification of Ethernet::Address (verification disabled)
+        info: Skipping verification of Ethernet::Type_Length (verification disabled)
+        info: Skipping verification of Ethernet::TPID (verification disabled)
+        info: Skipping verification of Ethernet::TCI (verification disabled)
+        info: Skipping verification of Ethernet::Frame (verification disabled)
         """,
     )