del_config method

void del_config(Z3_config c)

\brief Delete the given configuration object.

\sa Z3_mk_config

def_API('Z3_del_config', VOID, (_in(CONFIG),))

Implementation

void del_config(
  Z3_config c,
) {
  return _del_config(
    c,
  );
}