Method test_numerator

tests/test_z3_ported.py:3176–3180

(self)

        assert isinstance(r, ArithRef)

    def test_numerator(self):
        r = RatVal(1, 3)
        n = r.numerator()
        assert isinstance(n, IntNumRef)
        assert n.as_long() == 1

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