(self, *jobs)
return False
:param iterable jobs:
        :return: True if should widen, Flase otherwise
        :rtype: bool
def _should_widen_jobs(self, *jobs):
        """

        :param iterable jobs:
        :return: True if should widen, Flase otherwise
        :rtype: bool
        """

        job_0, _ = jobs[-2:]  # type: VFGJob

        addr = job_0.addr

        if not addr in self._widening_points(job_0.func_addr):
            return False

        tracing_times = self._tracing_times[job_0.block_id]
        if tracing_times > self._max_iterations_before_widening and tracing_times % self._widening_interval == 0:
            return True

        return False
def _should_widen_jobs ( self , * jobs ) : job_0 , _ = jobs [ - 2 : ] # type: VFGJob addr = job_0 . addr if not addr in self . _widening_points ( job_0 . func_addr ) : return False tracing_times = self . _tracing_times [ job_0 . block_id ] if tracing_times > self . _max_iterations_before_widening and tracing_times % self . _widening_interval == 0 : return True return False