/* fgets( char *, int, FILE * )
This file is part of the Public Domain C Library (PDCLib).
/* fgets( char *, int, FILE * )
This file is part of the Public Domain C Library (PDCLib).
char * fgets( char * _PDCLIB_restrict s, int size, struct _PDCLIB_file_t * _PDCLIB_restrict stream )
{
char * fgets( char * _PDCLIB_restrict s, int size, struct _PDCLIB_file_t * _PDCLIB_restrict stream )
{
TESTCASE( fgets( buffer, 2, fh ) == NULL );
TESTCASE( feof( fh ) );
TESTCASE( fclose( fh ) == 0 );
TESTCASE( fgets( buffer, 2, fh ) == NULL );
TESTCASE( feof( fh ) );
TESTCASE( fclose( fh ) == 0 );