Searched defs:reduce_args (Results 1 – 3 of 3) sorted by relevance
78 bool reduce_args(unsigned sz, expr*const* as, expr_ref_vector& result) { in reduce_args() function
112 bool reduce_args(unsigned sz, expr*const* as, expr_ref_vector& result) { in reduce_args() function
55 def reduce_args(config_stub, version_patcher, monkeypatch): function