[ 0:00] + cat
[ 0:00] + cat
[ 0:00] + divcc -g -c f.c prog.c
[ 0:00] prog.c:6:12: warning: implicit declaration of function 'f' is invalid in C99
[ 0:00]     assert(f(i) != 7); /* ERROR */
[ 0:00]            ^
[ 0:00] 1 warning generated.
[ 0:00] + '[' -s f.o ']'
[ 0:00] + '[' -s prog.o ']'
[ 0:00] + ar cr f.a f.o
[ 0:00] + '[' -s f.a ']'
[ 0:00] + divcc prog.o f.a
[ 0:00] + '[' -s linked.bc ']'
[ 0:00] + '[' -s a.out ']'
[ 0:00] + objdump -h a.out
[ 0:00] + grep .llvmbc
[ 0:00]  34 .llvmbc       0002a5bc  0000000000000000  0000000000000000  000034e4  2**0
[ 0:00] + divine verify a.out
[ 0:00] + tee verify.out
[ 0:00] states per second: 51.2821
[ 0:02] state count: 2
[ 0:02] mips: 0.21
[ 0:02] 
[ 0:02] error found: yes
[ 0:02] error trace: |
[ 0:02]   (0) Assertion failed: f(i) != 7, file prog.c, line 6.
[ 0:02]   FAULT: 
[ 0:02]   [0] FATAL: assertion failure in userspace
[ 0:02] 
[ 0:02] active stack:
[ 0:02] a report was written to a.report
[ 0:02]   - symbol: void __dios::FaultBase::handler<__dios::Upcall<__dios::fs::VFS<__dios::ProcessManager<__dios::Fault<__dios::Scheduler<__dios::Base> > > > > >(_VM_Fault, _VM_Frame*, void (*)())
[ 0:02]     location: /dios/include/dios/sys/fault.hpp:118
[ 0:02]   - symbol: __dios_fault
[ 0:02]     location: /dios/src/arch/divm/fault.c:12
[ 0:02]   - symbol: __assert_fail
[ 0:02]     location: /dios/src/libc/_PDCLIB/assert.c:21
[ 0:02]   - symbol: main
[ 0:02]     location: prog.c:6
[ 0:02]   - symbol: __dios_start
[ 0:02]     location: /dios/src/libc/sys/start.cpp:102
[ 0:02] + check verify prog.c
[ 0:02] + check debris
[ 0:02] + test -e warning