Method test_toreal

tests/test_z3_compat.py:972–976

(self)

        assert isinstance(r._ast, IteNode)

    def test_toreal(self):
        x = Int("x")
        r = ToReal(x)
        assert isinstance(r._ast, ToRealNode)
        assert r.sort() == RealSort()

    def test_toint(self):
        x = Real("x")