Method test_sum_variadic

tests/test_z3_ported.py:2280–2283

(self)

        assert is_int(r)

    def test_sum_variadic(self):
        x, y, z = Ints("x y z")
        r = Sum(x, y, z)
        assert is_int(r)

    def test_sum_list(self):
        xs = [Int(f"x{i}") for i in range(4)]