[ 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 --sticky "source"
[ 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]       4 int main()
[ 0:02]       5 {
[ 0:02] >>    6     assert( 0 ); /* ERROR */
[ 0:02]       7     return 0;
[ 0:02]       8 }
[ 0:02] # executing main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:02] 
[ 0:02] = expected ==========
[ 0:02] + ^# executing __boot at
[ 0:02] > setup --sticky "source"
[ 0:02] > start
[ 0:02] + ^\s*4 int main\(\)
[ 0:02] 
[ 0:02] = matched ===========
[ 0:02] # executing __boot at /dios/config/common.hpp:28             | ^# executing __boot at
[ 0:02] > setup --sticky "source"                                    | ^> setup --sticky "source"
[ 0:02] > start                                                      | ^> start
[ 0:02]       4 int main()                                           | ^\s*4 int main\(\)
[ 0:02] + sim /home/xrockai/src/divine/next/test/lang-c/assert.c
[ 0:02] compiling /home/xrockai/src/divine/next/test/lang-c/assert.c
[ 0:02] 
[ 0:04]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:04]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:04]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:04]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:04]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:04] 
[ 0:04] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:04] # executing __boot at /dios/config/common.hpp:28
[ 0:04] > start
[ 0:04] # a new program state was stored as #1
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #2
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #3
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #4
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #5
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #6
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #7
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #8
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #9
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #10
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #11
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #12
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #13
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #14
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #15
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #16
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #17
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #18
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #19
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #20
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #21
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #22
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #23
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #24
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #25
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #26
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #27
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #28
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #29
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #30
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #31
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #32
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #33
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #34
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #35
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #36
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #37
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #38
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #39
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #40
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #41
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #42
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #43
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #44
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #45
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #46
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #47
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #48
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #49
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #50
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #51
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #52
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #53
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #54
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #55
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #56
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #57
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #58
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #59
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #60
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #61
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #62
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #63
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #64
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #65
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #66
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #67
[ 0:04] # active threads: [0:0]
[ 0:04] # a new program state was stored as #68
[ 0:04] # active threads: [0:0]
[ 0:04] # executing main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:04] > setup --sticky "backtrace "
[ 0:04] # executing main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:04] > stepi
[ 0:04]   call @__assert_fail [global* 1 0 ddp] [global* 2 0 ddp] [i32 6 d] 
[ 0:04]        [global* 3 0 ddp] 
[ 0:04] T: FAULT: /home/xrockai/src/divine/next/test/lang-c/assert.c:6: int main(): assertion '0' failed
[ 0:04]   void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:118
[ 0:04]   __dios_fault at /dios/arch/divm/fault.c:12
[ 0:04]   __assert_fail at /dios/libc/_PDCLIB/assert.c:23
[ 0:04]   main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6
[ 0:04]   __dios_start at /dios/libc/sys/start.cpp:89
[ 0:04] # executing void __dios::FaultBase::handler<{Context}>(_VM_Fault, _VM_Frame*, void (*)()) at /dios/sys/fault.hpp:118
[ 0:04] 
[ 0:04] = expected ==========
[ 0:04] + ^# executing __boot at
[ 0:04] > start
[ 0:04] > setup --sticky "backtrace "
[ 0:04] > stepi
[ 0:04] +   main at
[ 0:04] +   __dios_start at
[ 0:04] 
[ 0:04] = matched ===========
[ 0:04] # executing __boot at /dios/config/common.hpp:28             | ^# executing __boot at
[ 0:04] > start                                                      | ^> start
[ 0:04] > setup --sticky "backtrace "                                | ^> setup --sticky "backtrace "
[ 0:04] > stepi                                                      | ^> stepi
[ 0:04]   main at /home/xrockai/src/divine/next/test/lang-c/assert.c:6 |   main at
[ 0:04]   __dios_start at /dios/libc/sys/start.cpp:89                |   __dios_start at
[ 0:04] + check debris
[ 0:04] + test -e warning