Method test_serialize

tests/test_z3_ported.py:3661–3663

(self)

        assert isinstance(y.get_id(), int)

    def test_serialize(self):
        x = Int("x")
        assert x.serialize() == "x"

    def test_serialize_binop(self):
        x, y = Ints("x y")