angr_platforms/bf/lift_bf.py
def compute_result(self, *args):
        """
        ']': Skip to the matching [ backward if the value pointed at by the ptr register is not zero.
        Similar to the above, see that for important notes.
        """
        ptr = self.get(PTR_REG, PTR_TYPE)
        val = self.load(ptr, CELL_TYPE)
        next_instr = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(val != 0, next_instr)
        self.jump(None, self.jump_addr)

        ']': Skip to the matching [ backward if the value pointed at by the ptr register is not zero.
        Similar to the above, see that for important notes.
        
']': Skip to the matching [ backward if the value pointed at by the ptr register is not zero.
Similar to the above, see that for important notes.
' ] ' : Skip to the matching [ backward if the value pointed at by the ptr register is not zero . Similar to the above see that for important notes .
def compute_result(self, *args):
        ptr = self.get(PTR_REG, PTR_TYPE)
        val = self.load(ptr, CELL_TYPE)
        next_instr = self.constant(self.addr + 1, PTR_TYPE)
        self.jump(val != 0, next_instr)
        self.jump(None, self.jump_addr)
def compute_result ( self , * args ) : ptr = self . get ( PTR_REG , PTR_TYPE ) val = self . load ( ptr , CELL_TYPE ) next_instr = self . constant ( self . addr + 1 , PTR_TYPE ) self . jump ( val != 0 , next_instr ) self . jump ( None , self . jump_addr )
']': Skip to the matching [ backward if the value pointed at by the ptr register is not zero.
' ] ' : Skip to the matching [ backward if the value pointed at by the ptr register is not zero .
"""
        ']': Skip to the matching [ backward if the value pointed at by the ptr register is not zero.
        Similar to the above, see that for important notes.
        """
self