[ 0:01] + cat [ 0:01] + cat [ 0:01] + divine cc -x c cfile -x c++ cppfile -o test.bc [ 0:01] compiling cfile [ 0:01] compiling cppfile [ 0:01] + divine verify test.bc [ 0:06] + tee verify.out [ 0:06] states per second: 1.55703 [ 0:18] state count: 4 [ 0:18] mips: 0.23 [ 0:18] error found: no [ 0:18] a report was written to test.report [ 0:18] + check verify /home/xrockai/src/divine/nightly/test/cc/2.opt-x-multiple.sh [ 0:18] + check debris