Function log_set_levels

src/log.c:61–66

@ assigns log_levels; */

/*@ assigns log_levels; */
unsigned int log_set_levels(const unsigned int levels)
{
  const unsigned int old_levels=log_levels;
  log_levels=levels;
  return old_levels;
}

/*@
  @ requires separation: \separated(default_filename, errsv, log_handle, &errno);