[ 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/divine-nightly/semidbg/test/__test_work_dir.12/1
[ 0:01] compiling test.c
[ 0:01] + divine cc test.c -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1
[ 0:01] compiling test.c
[ 0:01] + divine exec -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1 test.c
[ 0:01] compiling test.c
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:06] booting … done
[ 0:06] a report was written to test.report
[ 0:06] + divine cc -c test.c -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1
[ 0:07] compiling test.c
[ 0:07] + divine cc test.c -c -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1
[ 0:07] compiling test.c
[ 0:07] + divine cc -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1 -c test.c
[ 0:07] compiling test.c
[ 0:07] + divine cc test.c -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1 -c
[ 0:07] compiling test.c
[ 0:07] + divine cc -c -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1 test.c
[ 0:08] compiling test.c
[ 0:08] + divine cc -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.12/1 test.c -c
[ 0:08] compiling test.c
[ 0:08] + check debris
[ 0:08] + test -e warning