[ 0:01] + mkdir 1
[ 0:01] + touch 1/foo.h
[ 0:01] + tee test.c
[ 0:01] #include "foo.h"
[ 0:01] int main() {}
[ 0:01] + touch 1/foo.h
[ 0:01] + divine cc test.c -I1
[ 0:01] compiling test.c
[ 0:01] + divine cc test.c -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1
[ 0:01] compiling test.c
[ 0:01] + divine cc test.c -C,-I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1
[ 0:01] compiling test.c
[ 0:01] + divine exec -C,-I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1 test.c
[ 0:01] compiling test.c
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:05] booting … done
[ 0:05] a report was written to test.report
[ 0:05] + divine cc -c test.c -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1
[ 0:05] compiling test.c
[ 0:05] + divine cc test.c -c -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1
[ 0:05] compiling test.c
[ 0:05] + divine cc -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1 -c test.c
[ 0:05] compiling test.c
[ 0:05] + divine cc test.c -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1 -c
[ 0:05] compiling test.c
[ 0:06] + divine cc -c -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1 test.c
[ 0:06] compiling test.c
[ 0:06] + divine cc -I/var/obj/xrockai-divine-next-staging/semidbg/test/__test_work_dir.13/1 test.c -c
[ 0:06] compiling test.c
[ 0:06] + check debris
[ 0:06] + test -e warning