Method test_fp_to_ubv

tests/test_z3_ported.py:3939–3942

(self)

        assert isinstance(result, BitVecRef)

    def test_fp_to_ubv(self):
        x = FP("x", Float32())
        result = fpToUBV(RNE(), x, BitVecSort(32))
        assert isinstance(result, BitVecRef)

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