Method test_fp_to_real

tests/test_z3_ported.py:3929–3932

(self)

        assert isinstance(fpIsPositive(x), BoolRef)

    def test_fp_to_real(self):
        x = FP("x", Float32())
        result = fpToReal(x)
        assert isinstance(result, ArithRef)

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