Method test_bv2int_unsigned

tests/test_z3_semantic.py:656–658

BV2Int(0xFF, 8) = 255 (unsigned).

(self, kernel)

        assert _try_prove(UGT(BitVecVal(255, 8), BitVecVal(0, 8)))

    def test_bv2int_unsigned(self, kernel):
        """BV2Int(0xFF, 8) = 255 (unsigned)."""
        assert _try_prove(BV2Int(BitVecVal(0xFF, 8)) == IntVal(255))


# ===================================================================