verifier/verifier.c
/* WARNING : this file is automagically generated. */
WARNING : this file is automagically generated.
WARNING : this file is automagically generated .
inline void init__picoquic_connection_id_t(picoquic_connection_id_t *param1)
{
  param1->id[0] = dummy__uint8_t();
  param1->id[1] = dummy__uint8_t();
  param1->id[2] = dummy__uint8_t();
  param1->id[3] = dummy__uint8_t();
  param1->id[4] = dummy__uint8_t();
  param1->id[5] = dummy__uint8_t();
  param1->id[6] = dummy__uint8_t();
  param1->id[7] = dummy__uint8_t();
  param1->id[8] = dummy__uint8_t();
  param1->id[9] = dummy__uint8_t();
  param1->id[10] = dummy__uint8_t();
  param1->id[11] = dummy__uint8_t();
  param1->id[12] = dummy__uint8_t();
  param1->id[13] = dummy__uint8_t();
  param1->id[14] = dummy__uint8_t();
  param1->id[15] = dummy__uint8_t();
  param1->id[16] = dummy__uint8_t();
  param1->id[17] = dummy__uint8_t();
  param1->id[18] = dummy__uint8_t();
  param1->id[19] = dummy__uint8_t();
  param1->id_len = dummy__uint8_t();
}
inline void init__picoquic_connection_id_t ( picoquic_connection_id_t * param1 ) { param1 -> id [ 0 ] = dummy__uint8_t ( ) ; param1 -> id [ 1 ] = dummy__uint8_t ( ) ; param1 -> id [ 2 ] = dummy__uint8_t ( ) ; param1 -> id [ 3 ] = dummy__uint8_t ( ) ; param1 -> id [ 4 ] = dummy__uint8_t ( ) ; param1 -> id [ 5 ] = dummy__uint8_t ( ) ; param1 -> id [ 6 ] = dummy__uint8_t ( ) ; param1 -> id [ 7 ] = dummy__uint8_t ( ) ; param1 -> id [ 8 ] = dummy__uint8_t ( ) ; param1 -> id [ 9 ] = dummy__uint8_t ( ) ; param1 -> id [ 10 ] = dummy__uint8_t ( ) ; param1 -> id [ 11 ] = dummy__uint8_t ( ) ; param1 -> id [ 12 ] = dummy__uint8_t ( ) ; param1 -> id [ 13 ] = dummy__uint8_t ( ) ; param1 -> id [ 14 ] = dummy__uint8_t ( ) ; param1 -> id [ 15 ] = dummy__uint8_t ( ) ; param1 -> id [ 16 ] = dummy__uint8_t ( ) ; param1 -> id [ 17 ] = dummy__uint8_t ( ) ; param1 -> id [ 18 ] = dummy__uint8_t ( ) ; param1 -> id [ 19 ] = dummy__uint8_t ( ) ; param1 -> id_len = dummy__uint8_t ( ) ; }
WARNING : this file is automagically generated.
WARNING : this file is automagically generated .