angr/procedures/posix/readdir.py
def instrument(self):
        """
        Override this function to instrument the SimProcedure.

        The two useful variables you can override are self.struct, a named tuple of all the struct
        fields, and self.condition, the condition for whether the function succeeds.
        """
        pass

        Override this function to instrument the SimProcedure.

        The two useful variables you can override are self.struct, a named tuple of all the struct
        fields, and self.condition, the condition for whether the function succeeds.
        
Override this function to instrument the SimProcedure.
The two useful variables you can override are self.struct, a named tuple of all the struct
fields, and self.condition, the condition for whether the function succeeds.
Override this function to instrument the SimProcedure . The two useful variables you can override are self . struct a named tuple of all the struct fields and self . condition the condition for whether the function succeeds .
def instrument(self):
        pass
def instrument ( self ) : pass
Override this function to instrument the SimProcedure.
Override this function to instrument the SimProcedure .
"""
        Override this function to instrument the SimProcedure.

        The two useful variables you can override are self.struct, a named tuple of all the struct
        fields, and self.condition, the condition for whether the function succeeds.
        """
self