[ 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/_PDCLIB-_PDCLIB_initclocale.pdc
[ 0:00] ++ TESTCASE=_PDCLIB/_PDCLIB_initclocale.c
[ 0:00] + test -n _PDCLIB/_PDCLIB_initclocale.c
[ 0:00] + FILE=/home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_initclocale.c
[ 0:00] + test -f /home/xrockai/src/divine/nightly/dios/libc/_PDCLIB/_PDCLIB_initclocale.c
[ 0:00] + check debris