Method test_fp_real_to_fp

tests/test_z3_ported.py:3959–3962

(self)

        assert isinstance(result, FPRef)

    def test_fp_real_to_fp(self):
        r = Real("r")
        result = fpRealToFP(RNE(), r, Float32())
        assert isinstance(result, FPRef)

    def test_fp_signed_to_fp(self):
        bv = BitVec("bv", 32)