def bv_signed_value(self): """Return the signed value encoded by the BitVector.""" return twos_complement(self.constant_value(), self.bv_width())
def bv_signed_value(self): """Return the signed value encoded by the BitVector.""" return twos_complement(self.constant_value(), self.bv_width())