[ 0:01] compiling /home/xrockai/src/divine/nightly/test/verify/vfs-capture-b.cpp
[ 0:01] states per second: 0
[ 0:36] state count: 0
[ 0:36] mips: 0
[ 0:36] 
[ 0:37] error found: boot
[ 0:37] error trace: |
[ 0:37]   [  ] C: /t/
[ 0:37]   [  ] C: /t/c
[ 0:37]   [  ] C: /t/b
[ 0:37]   [  ] C: /t/a
[ 0:37]   [  ] C: /t/printing.cpp
[ 0:37]   [  ] E: /t
[ 0:37]   [  ] E: /t/a
[ 0:37]   [  ] E: /t/b
[ 0:37]   [  ] E: /t/c
[ 0:37]   [  ] E: /t/printing.cpp
[ 0:37]   [  ] E: /t/symlinkB
[ 0:37]   FAULT: trying to return without a caller
[ 0:37]   FATAL: no fault handler installed
[ 0:37] 
[ 0:37] a report was written to verify.out