Method test_fp_unsigned_to_fp

tests/test_z3_ported.py:3969–3972

(self)

        assert isinstance(result, FPRef)

    def test_fp_unsigned_to_fp(self):
        bv = BitVec("bv", 32)
        result = fpUnsignedToFP(RNE(), bv, Float32())
        assert isinstance(result, FPRef)

    def test_fp_operator_overloads(self):
        x, y = FPs("x y", Float32())