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