/* TAGS: c */ /* VERIFY_OPTS: --stdin `dirname $1`/stdin.txt -o nofail:malloc */ #include #include #include int read() { char str[20]; char * ret = fgets( str, 20, stdin ); assert( strcmp( str, "pac" ) == 0 ); assert( strcmp( ret, "pac" ) == 0 ); return 1; } int main() { assert( read() == 1 ); }