[ 0:00] + cat
[ 0:00] + divine verify test.c
[ 0:00] + tee report.txt
[ 0:00] compiling test.c
[ 0:00] loading bitcode … DiOS … LART … RR … constants … done
[ 0:02] booting … done
[ 0:02] states per second: 47.619
[ 0:02] state count: 2
[ 0:02] mips: 0.23
[ 0:02] 
[ 0:03] error found: yes
[ 0:03] error trace: |
[ 0:03]   [0] +stdout
[ 0:03]   [0] +stderr
[ 0:03]   FAULT: test.c:8: int main(): assertion '0' failed
[ 0:03]   [0] FATAL: assertion failure in userspace
[ 0:03] 
[ 0:03] active stack:
[ 0:03] a report was written to test.report  - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)())
[ 0:03]     location: /dios/sys/fault.hpp:118
[ 0:03]   - symbol: __dios_fault
[ 0:03]     location: /dios/arch/divm/fault.c:12
[ 0:03]   - symbol: __assert_fail
[ 0:03]     location: /dios/libc/_PDCLIB/assert.c:24
[ 0:03]   - symbol: main
[ 0:03]     location: test.c:8
[ 0:03]   - symbol: __dios_start
[ 0:03]     location: /dios/libc/sys/start.cpp:94
[ 0:03] 
[ 0:03] + fgrep '  [0] +stdout' report.txt
[ 0:03]   [0] +stdout
[ 0:03] + fgrep '  [0] +stderr' report.txt
[ 0:03]   [0] +stderr
[ 0:03] + check debris
[ 0:03] + test -e warning