(self, addr)
Add an exit representing jumping to an address.
Add an exit representing jumping to an address.
Add an exit representing jumping to an address .
def jump(self, addr):
        """
        Add an exit representing jumping to an address.
        """
        self.inhibit_autoret = True
        self._exit_action(self.state, addr)
        self.successors.add_successor(self.state, addr, self.state.solver.true, 'Ijk_Boring')
def jump ( self , addr ) : self . inhibit_autoret = True self . _exit_action ( self . state , addr ) self . successors . add_successor ( self . state , addr , self . state . solver . true , 'Ijk_Boring' )