Method test_fpval

tests/test_z3_ported.py:3823–3825

(self)

        assert isinstance(y, FPRef)

    def test_fpval(self):
        v = FPVal(1.5)
        assert isinstance(v, FPNumRef)

    def test_fpnan(self):
        v = fpNaN(Float32())