Method test_denominator

tests/test_z3_ported.py:3182–3186

(self)

        assert n.as_long() == 1

    def test_denominator(self):
        r = RatVal(1, 3)
        d = r.denominator()
        assert isinstance(d, IntNumRef)
        assert d.as_long() == 3

    def test_numerator_as_long(self):
        r = RatVal(7, 11)