Method test_numerator_as_long

tests/test_z3_ported.py:3188–3190

(self)

        assert d.as_long() == 3

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

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