[ 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/stdlib-exit.pdc
[ 0:00] ++ TESTCASE=stdlib/exit.c
[ 0:00] + test -n stdlib/exit.c
[ 0:00] + FILE=/home/xrockai/src/divine/nightly/dios/libc/stdlib/exit.c
[ 0:00] + test -f /home/xrockai/src/divine/nightly/dios/libc/stdlib/exit.c
[ 0:00] + grep -w NO_TESTDRIVER /home/xrockai/src/divine/nightly/dios/libc/stdlib/exit.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/stdlib/exit.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/stdlib/exit.c
[ 0:00] + llvm-nm unittest.bc
[ 0:00] + grep -w 'T main'
[ 0:00] + skip
[ 0:00] + exit 200
[ 0:00] + check debris
[ 0:00] + test -e warning