[ 0:01] + EXTRA_FILES= [ 0:01] + FLAGS= [ 0:01] + . /home/xrockai/src/divine/nightly/test/pdclib/3._PDCLIB-_PDCLIB_utf8.pdc [ 0:01] ++ TESTCASE=functions/_PDCLIB/_PDCLIB_utf8.c [ 0:01] + test -n functions/_PDCLIB/_PDCLIB_utf8.c [ 0:01] + FILE=/home/xrockai/src/divine/nightly/runtime/libc/functions/_PDCLIB/_PDCLIB_utf8.c [ 0:01] + test -f /home/xrockai/src/divine/nightly/runtime/libc/functions/_PDCLIB/_PDCLIB_utf8.c [ 0:01] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/runtime/libc/functions/_PDCLIB/_PDCLIB_utf8.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/_PDCLIB/_PDCLIB_utf8.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/_PDCLIB/_PDCLIB_utf8.c [ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/_PDCLIB/_PDCLIB_utf8.c:281:24: warning: passing 'const char **' to parameter of type 'char *restrict *' discards qualifiers in nested pointer types [ 0:01] TESTCASE(c32toutf8(&chrptr, &chrrem, &c32ptr, &c32rem, &mbs)); [ 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/_PDCLIB/_PDCLIB_utf8.c:172:41: note: passing argument to parameter 'p_outbuf' here [ 0:01] char *restrict *restrict p_outbuf, [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/runtime/libc/functions/_PDCLIB/_PDCLIB_utf8.c:281:42: warning: passing 'char32_t **' (aka 'unsigned int **') to parameter of type 'const char32_t *restrict *' (aka 'const unsigned int *restrict *') discards qualifiers in nested pointer types [ 0:01] TESTCASE(c32toutf8(&chrptr, &chrrem, &c32ptr, &c32rem, &mbs)); [ 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/_PDCLIB/_PDCLIB_utf8.c:174:41: note: passing argument to parameter 'p_inbuf' here [ 0:01] const char32_t *restrict *restrict p_inbuf, [ 0:01] ^ [ 0:01] 2 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.3349 [ 0:17] state count: 69 [ 0:17] mips: 0.34 [ 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._PDCLIB-_PDCLIB_utf8.pdc [ 0:18] + check debris