Add comments to address @rhelmot's concerns.

angr · Jan 14, 2025 · 1239003 · 1239003
1 parent a9ff324
commit 1239003
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cle/loader.py b/cle/loader.py
@@ -222,6 +222,8 @@ def memory(self) -> Clemory:
     @property
     def memory_ro_view(self) -> ClemoryReadOnlyView | None:
         if self._memory is None:
+            # it is intentional to check if self._memory is configured when memory_ro_view is accessed.
+            # memory_ro_view is only set up after gen_ro_memview() is called.
             raise ValueError("Cannot access memory_ro_view before loading is complete")
         return self._memory_ro_view