Method test_fp_plus_infinity

tests/test_z3_ported.py:3831–3833

(self)

        assert isinstance(v, FPNumRef)

    def test_fp_plus_infinity(self):
        v = fpPlusInfinity(Float64())
        assert isinstance(v, FPNumRef)

    def test_fp_minus_infinity(self):
        v = fpMinusInfinity(Float64())