Method test_binop_num_args

tests/test_z3_ported.py:2840–2843

(self)

    """Test ExprRef.arg(), .num_args(), .children(), .decl(), .sexpr(), .params()."""

    def test_binop_num_args(self):
        x, y = Ints("x y")
        e = x + y
        assert e.num_args() == 2

    def test_binop_arg(self):
        x, y = Ints("x y")