Method test_toreal

tests/test_z3_ported.py:2270–2273

(self)

        assert isinstance(r._ast, IteNode)

    def test_toreal(self):
        x = Int("x")
        r = ToReal(x)
        assert is_real(r)

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