Function log_flush

src/log.c:157–160

@ @ requires log_handle==\null || \valid(log_handle); @*/

  @ requires log_handle==\null || \valid(log_handle);
  @*/
int log_flush(void)
{
  return fflush(log_handle);
}

/*@
  @ requires \valid(log_handle);