Method test_range

tests/test_z3_ported.py:3044–3046

(self)

        assert f.domain(1) == RealSort()

    def test_range(self):
        f = Function("f", IntSort(), BoolSort())
        assert f.range() == BoolSort()

    def test_domain_out_of_range(self):
        f = Function("f", IntSort(), BoolSort())