Method test_fpbv_to_fp

tests/test_z3_ported.py:3949–3952

(self)

        assert isinstance(result, FPRef)

    def test_fpbv_to_fp(self):
        bv = BitVec("bv", 32)
        result = fpBVToFP(bv, Float32())
        assert isinstance(result, FPRef)

    def test_fp_fp_to_fp(self):
        x = FP("x", Float32())