Method test_denominator_as_long

tests/test_z3_ported.py:3192–3194

(self)

        assert r.numerator_as_long() == 7

    def test_denominator_as_long(self):
        r = RatVal(7, 11)
        assert r.denominator_as_long() == 11

    def test_as_fraction(self):
        from fractions import Fraction