ast_comparator/test/student_data/handout/shlab-handout/cases/reference_22_tsh.c
/*
 * Requires:
 *   "s" is a properly terminated string.
 *
 * Effects:
 *   Computes and returns the length of the string "s".  This function can be
 *   safely called by a signal handler.
 */
"s" is a properly terminated string.

Computes and returns the length of the string "s".  This function can be
safely called by a signal handler.
" s " is a properly terminated string . Computes and returns the length of the string " s " . This function can be safely called by a signal handler .
static size_t
sio_strlen(char s[])
{
	size_t i = 0;
	while (s[i] != '\0')
		i++;
	return (i);
}
static size_t sio_strlen ( char s [ ] ) { size_t i = 0 ; while ( s [ i ] != ' \0 ' ) i ++ ; return ( i ) ; }
Requires:
   "s" is a properly terminated string.
Requires : " s " is a properly terminated string .