[ 0:00] + EXTRA_FILES= [ 0:00] + FLAGS= [ 0:00] + . /home/xrockai/src/divine/nightly/test/pdclib/3.uchar-_PDCLIB_c32slen.pdc [ 0:00] ++ TESTCASE=functions/uchar/_PDCLIB_c32slen.c [ 0:00] + test -n functions/uchar/_PDCLIB_c32slen.c [ 0:00] + FILE=/home/xrockai/src/divine/nightly/runtime/libc/functions/uchar/_PDCLIB_c32slen.c [ 0:00] + test -f /home/xrockai/src/divine/nightly/runtime/libc/functions/uchar/_PDCLIB_c32slen.c [ 0:00] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/runtime/libc/functions/uchar/_PDCLIB_c32slen.c [ 0:00] + 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/uchar/_PDCLIB_c32slen.c -o unittest.bc [ 0:00] compiling /home/xrockai/src/divine/nightly/test/pdclib/iotestenv.c [ 0:00] compiling /home/xrockai/src/divine/nightly/runtime/libc/functions/uchar/_PDCLIB_c32slen.c [ 0:00] + llvm-nm unittest.bc [ 0:05] + grep -w 'T main' [ 0:05] 00000000 T main [ 0:05] + divine verify --max-memory 4GiB --threads 1 -o nofail:malloc unittest.bc [ 0:05] + tee verify.out [ 0:05] states per second: 2.20143 [ 0:16] state count: 4 [ 0:16] mips: 0.35 [ 0:16] error found: no [ 0:16] a report was written to unittest.report [ 0:16] + check verify /home/xrockai/src/divine/nightly/test/pdclib/3.uchar-_PDCLIB_c32slen.pdc [ 0:17] + check debris