Method test_ite_children

tests/test_z3_ported.py:2886–2891

(self)

        assert e.decl().name() == "not"

    def test_ite_children(self):
        x = Int("x")
        p = Bool("p")
        e = If(p, x, IntVal(0))
        assert e.num_args() == 3
        assert e.decl().name() == "if"

    def test_distinct_children(self):
        x, y, z = Ints("x y z")