[ 0:01] + cat
[ 0:01] + mkdir 1
[ 0:01] + touch 1/foo.h
[ 0:01] + divine verify -C,-I,/var/obj/divine-nightly/semidbg/test/__test_work_dir.3/1 testcase.c
[ 0:01] compiling testcase.c
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:03] booting … done
[ 0:04] states per second: 78.9474
[ 0:04] state count: 3
[ 0:04] mips: 0.17
[ 0:04] error found: no
[ 0:04] a report was written to testcase.report
[ 0:04] + divine verify -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.3/1 testcase.c
[ 0:04] compiling testcase.c
[ 0:04] loading bitcode … DiOS … LART … RR … constants … done
[ 0:06] booting … done
[ 0:06] states per second: 88.2353
[ 0:06] state count: 3
[ 0:06] mips: 0.19
[ 0:06] error found: no
[ 0:06] a report was written to testcase.report
[ 0:06] + check debris
[ 0:07] + test -e warning