Method test_fps

tests/test_z3_ported.py:3818–3821

(self)

        assert isinstance(x, FPRef)

    def test_fps(self):
        x, y = FPs("x y", Float64())
        assert isinstance(x, FPRef)
        assert isinstance(y, FPRef)

    def test_fpval(self):
        v = FPVal(1.5)