[ 0:00] + mkdir 1
[ 0:00] + touch 1/foo.h
[ 0:00] + cat
[ 0:00] + touch 1/foo.h
[ 0:00] + divine cc test.c -I1
[ 0:00] compiling test.c
[ 0:00] + divine cc test.c -I/var/obj/divine-nightly/semidbg/test/__test_work_dir.0/1
[ 0:05] compiling test.c
[ 0:05] + divine cc test.c -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.0/1
[ 0:11] compiling test.c
[ 0:11] + divine run -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.0/1 test.c
[ 0:16] compiling test.c
[ 0:16] + check debris