Method test_vector_zero

tests/test_z3_ported.py:2372–2375

(self)

        assert names == ["x__0", "x__1", "x__2"]

    def test_vector_zero(self):
        assert IntVector("x", 0) == []
        assert BoolVector("b", 0) == []
        assert RealVector("r", 0) == []

    def test_vector_sum(self):
        xs = IntVector("x", 3)