Method test_sum_list

tests/test_z3_ported.py:2285–2288

(self)

        assert is_int(r)

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

    def test_sum_empty(self):
        r = Sum()