Method test_as_string

tests/test_z3_ported.py:3246–3248

(self)

        assert v.as_signed_long() == -128

    def test_as_string(self):
        v = BitVecVal(42, 8)
        assert v.as_string() == "42"

    def test_bv_ops_still_work(self):
        """BitVecNumRef still supports BitVecRef operations."""