Function skip_comma_in_command

src/common.c:461–473

}

void skip_comma_in_command(char **current_cmd)
{
  /*@
    @ loop invariant valid_read_string(*current_cmd);
    @ loop assigns *current_cmd;
    @ loop variant strlen(*current_cmd);
    */
  while(*current_cmd[0]==',')
  {
    (*current_cmd)++;
  }
  /*@ assert valid_read_string(*current_cmd); */
}

uint64_t get_int_from_command(char **current_cmd)
{