[ 0:01] + EXTRA_FILES=
[ 0:01] + FLAGS=
[ 0:01] + . /home/xrockai/src/divine/nightly/test/pdclib/3.stdio-gets.pdc
[ 0:01] ++ TESTCASE=functions/stdio/gets.c
[ 0:01] + test -n functions/stdio/gets.c
[ 0:01] + FILE=/home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c
[ 0:01] + test -f /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c
[ 0:01] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c
[ 0:01] + divine cc -D_PDCLIB_BUILD -DTEST -I/home/xrockai/src/divine/nightly/runtime/libc/testing /home/xrockai/src/divine/nightly/test/pdclib/iotestenv.c /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c -o unittest.bc
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/pdclib/iotestenv.c
[ 0:01] compiling /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:51:15: warning: 'gets' is deprecated
[ 0:01]     TESTCASE( gets( buffer ) == buffer );
[ 0:01]               ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/testing/_PDCLIB_test.h:36:28: note: expanded from macro 'TESTCASE'
[ 0:01] #define TESTCASE( x ) if ( x ) {} \
[ 0:01]                            ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:13:8: note: 'gets' has been explicitly marked deprecated here
[ 0:01] char * gets( char * s )
[ 0:01]        ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:53:15: warning: 'gets' is deprecated
[ 0:01]     TESTCASE( gets( buffer ) == buffer );
[ 0:01]               ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/testing/_PDCLIB_test.h:36:28: note: expanded from macro 'TESTCASE'
[ 0:01] #define TESTCASE( x ) if ( x ) {} \
[ 0:01]                            ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:13:8: note: 'gets' has been explicitly marked deprecated here
[ 0:01] char * gets( char * s )
[ 0:01]        ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:55:15: warning: 'gets' is deprecated
[ 0:01]     TESTCASE( gets( buffer ) == buffer );
[ 0:01]               ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/testing/_PDCLIB_test.h:36:28: note: expanded from macro 'TESTCASE'
[ 0:01] #define TESTCASE( x ) if ( x ) {} \
[ 0:01]                            ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:13:8: note: 'gets' has been explicitly marked deprecated here
[ 0:01] char * gets( char * s )
[ 0:01]        ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:59:15: warning: 'gets' is deprecated
[ 0:01]     TESTCASE( gets( buffer ) == buffer );
[ 0:01]               ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/testing/_PDCLIB_test.h:36:28: note: expanded from macro 'TESTCASE'
[ 0:01] #define TESTCASE( x ) if ( x ) {} \
[ 0:01]                            ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:13:8: note: 'gets' has been explicitly marked deprecated here
[ 0:01] char * gets( char * s )
[ 0:01]        ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:63:15: warning: 'gets' is deprecated
[ 0:01]     TESTCASE( gets( buffer ) == NULL );
[ 0:01]               ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/testing/_PDCLIB_test.h:36:28: note: expanded from macro 'TESTCASE'
[ 0:01] #define TESTCASE( x ) if ( x ) {} \
[ 0:01]                            ^
[ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/stdio/gets.c:13:8: note: 'gets' has been explicitly marked deprecated here
[ 0:01] char * gets( char * s )
[ 0:01]        ^
[ 0:01] 5 warnings generated.
[ 0:01] + llvm-nm unittest.bc
[ 0:06] + grep -w 'T main'
[ 0:06] 00000000 T main
[ 0:06] + divine verify --max-memory 4GiB --threads 1 -o nofail:malloc unittest.bc
[ 0:06] + tee verify.out
[ 0:06] states per second: 36.0682
[ 0:17] state count: 91
[ 0:17] mips: 0.33
[ 0:17] error found: no
[ 0:17] a report was written to unittest.report
[ 0:17] + check verify /home/xrockai/src/divine/nightly/test/pdclib/3.stdio-gets.pdc
[ 0:18] + check debris