[ 0:00] /home/xrockai/src/divine/nightly/test/lib/pdclib-test: line 1: lib/flavour: No such file or directory [ 0:00] + EXTRA_FILES= [ 0:00] + FLAGS= [ 0:00] + . /home/xrockai/src/divine/nightly/test/pdclib/stdio-gets.pdc [ 0:00] ++ TESTCASE=stdio/gets.c [ 0:00] + test -n stdio/gets.c [ 0:00] + FILE=/home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c [ 0:00] + test -f /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c [ 0:00] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c [ 0:00] + divine cc -D_PDCLIB_BUILD -DTEST -I/home/xrockai/src/divine/nightly/dios/libc/testing /home/xrockai/src/divine/nightly/test/pdclib/testenv.helper.c /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c -o unittest.bc [ 0:00] compiling /home/xrockai/src/divine/nightly/test/pdclib/testenv.helper.c [ 0:00] compiling /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c:51:15: warning: 'gets' is deprecated [ 0:01] TESTCASE( gets( buffer ) == buffer ); [ 0:01] ^ [ 0:01] /dios/include/stdio.h:725:41: note: 'gets' has been explicitly marked deprecated here [ 0:01] char * gets( char * s ) _PDCLIB_nothrow _PDCLIB_DEPRECATED; [ 0:01] ^ [ 0:01] /dios/include/_PDCLIB/cdefs.h:208:48: note: expanded from macro '_PDCLIB_DEPRECATED' [ 0:01] #define _PDCLIB_DEPRECATED __attribute__ ((__deprecated__)) [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c:53:15: warning: 'gets' is deprecated [ 0:01] TESTCASE( gets( buffer ) == buffer ); [ 0:01] ^ [ 0:01] /dios/include/stdio.h:725:41: note: 'gets' has been explicitly marked deprecated here [ 0:01] char * gets( char * s ) _PDCLIB_nothrow _PDCLIB_DEPRECATED; [ 0:01] ^ [ 0:01] /dios/include/_PDCLIB/cdefs.h:208:48: note: expanded from macro '_PDCLIB_DEPRECATED' [ 0:01] #define _PDCLIB_DEPRECATED __attribute__ ((__deprecated__)) [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c:55:15: warning: 'gets' is deprecated [ 0:01] TESTCASE( gets( buffer ) == buffer ); [ 0:01] ^ [ 0:01] /dios/include/stdio.h:725:41: note: 'gets' has been explicitly marked deprecated here [ 0:01] char * gets( char * s ) _PDCLIB_nothrow _PDCLIB_DEPRECATED; [ 0:01] ^ [ 0:01] /dios/include/_PDCLIB/cdefs.h:208:48: note: expanded from macro '_PDCLIB_DEPRECATED' [ 0:01] #define _PDCLIB_DEPRECATED __attribute__ ((__deprecated__)) [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c:59:15: warning: 'gets' is deprecated [ 0:01] TESTCASE( gets( buffer ) == buffer ); [ 0:01] ^ [ 0:01] /dios/include/stdio.h:725:41: note: 'gets' has been explicitly marked deprecated here [ 0:01] char * gets( char * s ) _PDCLIB_nothrow _PDCLIB_DEPRECATED; [ 0:01] ^ [ 0:01] /dios/include/_PDCLIB/cdefs.h:208:48: note: expanded from macro '_PDCLIB_DEPRECATED' [ 0:01] #define _PDCLIB_DEPRECATED __attribute__ ((__deprecated__)) [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/dios/libc/stdio/gets.c:63:15: warning: 'gets' is deprecated [ 0:01] TESTCASE( gets( buffer ) == NULL ); [ 0:01] ^ [ 0:01] /dios/include/stdio.h:725:41: note: 'gets' has been explicitly marked deprecated here [ 0:01] char * gets( char * s ) _PDCLIB_nothrow _PDCLIB_DEPRECATED; [ 0:01] ^ [ 0:01] /dios/include/_PDCLIB/cdefs.h:208:48: note: expanded from macro '_PDCLIB_DEPRECATED' [ 0:01] #define _PDCLIB_DEPRECATED __attribute__ ((__deprecated__)) [ 0:01] ^ [ 0:01] 5 warnings generated. [ 0:01] + llvm-nm unittest.bc [ 0:01] + grep -w 'T main' [ 0:01] ---------------- T main [ 0:01] + divine verify --max-memory 4GiB --threads 1 -o nofail:malloc unittest.bc [ 0:01] + tee verify.out [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:03] booting … done [ 0:04] states per second: 180 [ 0:04] state count: 27 [ 0:04] mips: 0.26 [ 0:04] error found: no [ 0:04] a report was written to unittest.report [ 0:04] + check verify /home/xrockai/src/divine/nightly/test/pdclib/stdio-gets.pdc [ 0:04] + check debris [ 0:04] + test -e warning