[ 0:00] + cat [ 0:00] + mkdir 1 [ 0:00] + touch 1/foo.h [ 0:00] + divine verify -C,-I,/var/obj/divine-nightly/semidbg/test/__test_work_dir.4/1 testcase.c [ 0:00] compiling testcase.c [ 0:01] states per second: 1.89304 [ 0:13] state count: 4 [ 0:13] mips: 0.28 [ 0:13] error found: no [ 0:13] a report was written to testcase.report [ 0:13] + divine verify -C,-I/var/obj/divine-nightly/semidbg/test/__test_work_dir.4/1 testcase.c [ 0:14] compiling testcase.c [ 0:14] states per second: 1.5804 [ 0:27] state count: 4 [ 0:27] mips: 0.23 [ 0:27] error found: no [ 0:27] a report was written to testcase.report [ 0:27] + check debris [ 0:28] 1 #include "foo.h" [ 0:28] 2 int main() {} [ 0:28]