angr/exploration_techniques/director.py
def _check_goals(self, goal, state):  # pylint:disable=no-self-use
        """
        Check if the state is satisfying the goal.

        :param BaseGoal goal: The goal to check against.
        :param angr.SimState state: The state to check.
        :return: True if the state satisfies the goal currently, False otherwise.
        :rtype: bool
        """

        return goal.check_state(state)

        Check if the state is satisfying the goal.

        :param BaseGoal goal: The goal to check against.
        :param angr.SimState state: The state to check.
        :return: True if the state satisfies the goal currently, False otherwise.
        :rtype: bool
        
Check if the state is satisfying the goal.
Check if the state is satisfying the goal .
def _check_goals(self, goal, state):  
        return goal.check_state(state)
def _check_goals ( self , goal , state ) : return goal . check_state ( state )
Check if the state is satisfying the goal.
Check if the state is satisfying the goal .
# pylint:disable=no-self-use """
        Check if the state is satisfying the goal.

        :param BaseGoal goal: The goal to check against.
        :param angr.SimState state: The state to check.
        :return: True if the state satisfies the goal currently, False otherwise.
        :rtype: bool
        """
True if the state satisfies the goal currently, False otherwise.
True if the state satisfies the goal currently False otherwise .
bool
self
goal
The goal to check against.
The goal to check against .
state
The state to check.
The state to check .