angr/analyses/forward_analysis/job_info.py
def add_job(self, job, merged=False, widened=False):
        """
        Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
        """

        job_type = ''
        if merged:
            job_type = 'merged'
        elif widened:
            job_type = 'widened'
        self.jobs.append((job, job_type))

        Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
        
Appended a new job to this JobInfo node.
Appended a new job to this JobInfo node .
def add_job(self, job, merged=False, widened=False):
        job_type = ''
        if merged:
            job_type = 'merged'
        elif widened:
            job_type = 'widened'
        self.jobs.append((job, job_type))
def add_job ( self , job , merged = False , widened = False ) : job_type = '' if merged : job_type = 'merged' elif widened : job_type = 'widened' self . jobs . append ( ( job , job_type ) )
Appended a new job to this JobInfo node.
Appended a new job to this JobInfo node .
"""
        Appended a new job to this JobInfo node.
        :param job: The new job to append.
        :param bool merged: Whether it is a merged job or not.
        :param bool widened: Whether it is a widened job or not.
        """
self
job
The new job to append.
The new job to append .
merged
Whether it is a merged job or not.
Whether it is a merged job or not .
widened
Whether it is a widened job or not.
Whether it is a widened job or not .