Method test_fp_minus_infinity

tests/test_z3_ported.py:3835–3837

(self)

        assert isinstance(v, FPNumRef)

    def test_fp_minus_infinity(self):
        v = fpMinusInfinity(Float64())
        assert isinstance(v, FPNumRef)

    def test_fp_plus_zero(self):
        v = fpPlusZero(Float32())