def on_workspace_initialized(self, workspace: Workspace) -> None:
        """
        A handler that is called right after a workspace is initialized.
        """

        A handler that is called right after a workspace is initialized.
        
angrmanagement/plugins/base_plugin.py