Method test_as_fraction

tests/test_z3_ported.py:3196–3201

(self)

        assert r.denominator_as_long() == 11

    def test_as_fraction(self):
        from fractions import Fraction

        r = RatVal(1, 3)
        f = r.as_fraction()
        assert f == Fraction(1, 3)

    def test_as_string(self):
        r = RatVal(1, 3)