@property
    def done(self):
        if self.error_occured:
            return True
        if len(self.active) > 1:
            raise Exception("We have more than one path in concrete mode." + \
                            " Something is wrong.")
        elif len(self.active) == 0:
            return True
        else:
            path = self.active[0]
            if path.state is not None and \
                    path.state.se.is_true(path.state.ip == self._final_addr):
                self.found.append(self.active[0])
                self.active = []
                return True
        return False
dataset/ETHPy150Open angr/angr/angr/surveyors/executor.py/Executor.done/original