[ 0:00] + SRC=/home/xrockai/src/divine/next/test/lang-c/assert.c
[ 0:00] + sim /home/xrockai/src/divine/next/test/lang-c/assert.c
[ 0:00] compiling /home/xrockai/src/divine/next/test/lang-c/assert.c
[ 0:00] 
[ 0:02]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:02]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:02]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:02]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:02]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:02] 
[ 0:02] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:02] # executing __boot at /dios/config/common.hpp:28
[ 0:02] > setup --debug-everything
[ 0:02] # executing __boot at /dios/config/common.hpp:28
[ 0:02] > start
[ 0:02] # a new program state was stored as #1
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #2
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #3
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #4
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #5
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #6
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #7
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #8
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #9
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #10
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #11
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #12
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #13
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #14
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #15
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #16
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #17
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #18
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #19
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #20
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #21
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #22
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #23
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #24
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #25
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #26
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #27
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #28
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #29
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #30
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #31
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #32
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #33
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #34
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #35
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #36
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #37
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #38
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #39
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #40
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #41
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #42
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #43
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #44
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #45
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #46
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #47
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #48
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #49
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #50
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #51
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #52
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #53
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #54
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #55
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #56
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #57
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #58
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #59
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #60
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #61
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #62
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #63
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #64
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #65
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #66
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #67
[ 0:02] # active threads: [0:0]
[ 0:02] # a new program state was stored as #68
[ 0:02] # active threads: [0:0]
[ 0:02] # executing main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:02] > stepa --count 100
[ 0:02] T: FAULT: /home/xrockai/src/divine/next/test/lang-c/assert.c:6: int main(): assertion '0' failed
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] > up
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)())
[ 0:02] > up
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in __dios_fault
[ 0:02] > up
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in __assert_fail
[ 0:02] > up
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in main
[ 0:02] > show
[ 0:02] attributes:
[ 0:02]     address: heap* 44537ce1 0+0
[ 0:02]     size:    16
[ 0:02]     pc:      code* 80001 1
[ 0:02]     insn:    call @__assert_fail [global* 1 0 ddp] [global* 2 0 ddp] [i32 6 d] [global* 3 0 ddp] 
[ 0:02]     location: /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:02]     symbol:  main
[ 0:02] related:     [ caller ]
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in main
[ 0:02] > down
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in __assert_fail
[ 0:02] > down
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in __dios_fault
[ 0:02] > down
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] # NOTE: $frame in void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)())
[ 0:02] > down
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] > show
[ 0:02] attributes:
[ 0:02]     address: heap* 7ed8f86c 0+0
[ 0:02]     size:    219
[ 0:02]     pc:      code* 802f3 3b
[ 0:02]     insn:    %3b = vm.ctl.flag [i64 0 d] [i64 8 d] __vm_ctl_flag         # [i64 720931 d]
[ 0:02]     location: /dios/sys/fault.cpp:58
[ 0:02]     symbol:  __dios::FaultBase::fault_handler(int, _VM_Frame*, int)
[ 0:02] .cfg:
[ 0:02]     type:    unsigned char*
[ 0:02]     value:   [heap* 66d7d5cd 18h ddp]
[ 0:02]     scope:   fault_handler
[ 0:02]     related: [ deref ]
[ 0:02] .what:
[ 0:02]     type:    int
[ 0:02]     value:   [i32 1 d]
[ 0:02]     scope:   fault_handler
[ 0:02] .frame:
[ 0:02]     type:    _VM_Frame*
[ 0:02]     value:   [heap* 324b1501 0 ddp]
[ 0:02]     scope:   fault_handler
[ 0:02]     related: [ deref ]
[ 0:02] .kernel:
[ 0:02]     type:    int
[ 0:02]     value:   [i32 0 d]
[ 0:02]     scope:   fault_handler
[ 0:02] .this:
[ 0:02]     type:    FaultBase*
[ 0:02]     value:   [heap* b0b4c2fa 8 ddp]
[ 0:02]     scope:   fault_handler
[ 0:02]     related: [ deref ]
[ 0:02] related:     [ caller, 64, 96, 124 ]
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58
[ 0:02] 
[ 0:02] = expected ==========
[ 0:02] + ^# executing __boot
[ 0:02] > setup --debug-everything
[ 0:02] > start
[ 0:02] + ^# executing main
[ 0:02] > stepa --count 100
[ 0:02] + ^# executing .*fault_handler
[ 0:02] > up
[ 0:02] > up
[ 0:02] + ^#.*frame in __dios_fault
[ 0:02] > up
[ 0:02] > up
[ 0:02] + ^#.*frame in main
[ 0:02] > show
[ 0:02] + symbol:.*main
[ 0:02] > down
[ 0:02] > down
[ 0:02] > down
[ 0:02] > down
[ 0:02] > show
[ 0:02] + symbol:.*fault_handler
[ 0:02] 
[ 0:02] = matched ===========
[ 0:02] # executing __boot at /dios/config/common.hpp:28             | ^# executing __boot
[ 0:02] > setup --debug-everything                                   | ^> setup --debug-everything
[ 0:02] > start                                                      | ^> start
[ 0:02] # executing main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6 | ^# executing main
[ 0:02] > stepa --count 100                                          | ^> stepa --count 100
[ 0:02] # executing __dios::FaultBase::fault_handler(int, _VM_Frame*, int) at /dios/sys/fault.cpp:58 | ^# executing .*fault_handler
[ 0:02] > up                                                         | ^> up
[ 0:02] > up                                                         | ^> up
[ 0:02] # NOTE: $frame in __dios_fault                               | ^#.*frame in __dios_fault
[ 0:02] > up                                                         | ^> up
[ 0:02] > up                                                         | ^> up
[ 0:02] # NOTE: $frame in main                                       | ^#.*frame in main
[ 0:02] > show                                                       | ^> show
[ 0:02]     symbol:  main                                            | symbol:.*main
[ 0:02] > down                                                       | ^> down
[ 0:02] > down                                                       | ^> down
[ 0:02] > down                                                       | ^> down
[ 0:02] > down                                                       | ^> down
[ 0:02] > show                                                       | ^> show
[ 0:02]     symbol:  __dios::FaultBase::fault_handler(int, _VM_Frame*, int) | symbol:.*fault_handler
[ 0:02] + check debris
[ 0:02] + test -e warning