[ 0:00] + cat
[ 0:00] + divine verify test.c
[ 0:00] + tee report.txt
[ 0:00] compiling test.c
[ 0:00] states per second: 7.11462
[ 0:12] state count: 9
[ 0:12] mips: 0.29
[ 0:12] 
[ 0:16] error found: yes
[ 0:16] error trace: |
[ 0:16]   (0) FAULT: Assertion failed: 0, file test.c, line 5.
[ 0:16]   [0] FATAL: assertion failure in userspace
[ 0:16]   [0] incomplete
[ 0:16]   [0] incomplete
[ 0:16] 
[ 0:16] active stack:
[ 0:16] a report was written to   - symbol: void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...)
[ 0:16]     location: /divine/include/dios/core/fault.hpp:187
[ 0:16]   - symbol: __dios_fault
[ 0:16]     location: /divine/src/libc/functions/sys/fault.c:25
[ 0:16]   - symbol: main
[ 0:16]     location: test.c:5
[ 0:16]   - symbol: _start
[ 0:16]     location: /divine/src/libc/functions/sys/start.cpp:76
[ 0:16] test.report
[ 0:16] + fgrep '  [0] incomplete' report.txt
[ 0:17]   [0] incomplete
[ 0:17]   [0] incomplete
[ 0:17] + check debris