Method test_as_string

tests/test_z3_ported.py:3151–3153

(self)

        assert v.as_long() == 0

    def test_as_string(self):
        v = IntVal(123)
        assert v.as_string() == "123"

    def test_natval_returns_intnumref(self):
        v = NatVal(5)