Method test_fp_fp_to_fp

tests/test_z3_ported.py:3954–3957

(self)

        assert isinstance(result, FPRef)

    def test_fp_fp_to_fp(self):
        x = FP("x", Float32())
        result = fpFPToFP(RNE(), x, Float64())
        assert isinstance(result, FPRef)

    def test_fp_real_to_fp(self):
        r = Real("r")