Method test_not_children

tests/test_z3_ported.py:2880–2884

(self)

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

    def test_not_children(self):
        p = Bool("p")
        e = Not(p)
        assert e.num_args() == 1
        assert e.decl().name() == "not"

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