Method test_if_then_else

tests/test_z3_compat.py:317–320

(self)

        assert len(d._ast.args) == 3

    def test_if_then_else(self):
        x = Int("x")
        expr = If(x > 0, x, -x)
        assert isinstance(expr._ast, IteNode)

    def test_int_coercion(self):
        x = Int("x")