[ 0:01] /home/xrockai/src/divine/nightly/test/lib/pdclib-test: line 1: lib/flavour: No such file or directory [ 0:01] + EXTRA_FILES= [ 0:01] + FLAGS= [ 0:01] + . /home/xrockai/src/divine/nightly/test/pdclib/_PDCLIB-_PDCLIB_strtox_prelim.pdc [ 0:01] ++ TESTCASE=_PDCLIB/_PDCLIB_strtox_prelim.c [ 0:01] + test -n _PDCLIB/_PDCLIB_strtox_prelim.c [ 0:01] + FILE=/home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_strtox_prelim.c [ 0:01] + test -f /home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_strtox_prelim.c [ 0:01] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_strtox_prelim.c [ 0:01] + 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/_PDCLIB/_PDCLIB_strtox_prelim.c -o unittest.bc [ 0:01] compiling /home/xrockai/src/divine/nightly/test/pdclib/testenv.helper.c [ 0:01] compiling /home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_strtox_prelim.c [ 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:04] booting … done [ 0:05] states per second: 72.7273 [ 0:05] state count: 4 [ 0:05] mips: 0.16 [ 0:05] error found: no [ 0:05] a report was written to unittest.report [ 0:05] + check verify /home/xrockai/src/divine/nightly/test/pdclib/_PDCLIB-_PDCLIB_strtox_prelim.pdc [ 0:05] + check debris [ 0:05] + test -e warning