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