Method test_real_vector

tests/test_z3_ported.py:2362–2365

(self)

        assert all(is_bool(b) for b in bs)

    def test_real_vector(self):
        rs = RealVector("r", 4)
        assert len(rs) == 4
        assert all(is_real(r) for r in rs)

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