Method test_vector_names

tests/test_z3_ported.py:2367–2370

(self)

        assert all(is_real(r) for r in rs)

    def test_vector_names(self):
        xs = IntVector("x", 3)
        names = [x._ast.name for x in xs]
        assert names == ["x__0", "x__1", "x__2"]

    def test_vector_zero(self):
        assert IntVector("x", 0) == []