[ 0:00] + sim /home/xrockai/src/divine/nightly/test/c/1.assert.c
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/c/1.assert.c
[ 0:00] 
[ 0:10]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:10]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:10]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:10]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:10]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:10] 
[ 0:10] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:10] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:10] > setup --sticky "source"
[ 0:10] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:10] > start
[ 0:10] # a new program state was stored as #1
[ 0:13] # active threads: [0:0]
[ 0:13] # a new program state was stored as #2
[ 0:14] # active threads: [0:0]
[ 0:14]       3 int main()
[ 0:14]       4 {
[ 0:14] >>    5     assert( 0 ); /* ERROR */
[ 0:14]       6     return 0;
[ 0:14]       7 }
[ 0:14] # executing main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5
[ 0:14] 
[ 0:15] = expected ==========
[ 0:15] + ^# executing __boot at
[ 0:15] > setup --sticky "source"
[ 0:15] > start
[ 0:15] + ^\s*3 int main\(\)
[ 0:15] 
[ 0:15] = matched ===========
[ 0:15] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot at
[ 0:15] > setup --sticky "source"                                    | ^> setup --sticky "source"
[ 0:15] > start                                                      | ^> start
[ 0:15]       3 int main()                                           | ^\s*3 int main\(\)
[ 0:15] + sim /home/xrockai/src/divine/nightly/test/c/1.assert.c
[ 0:15] compiling /home/xrockai/src/divine/nightly/test/c/1.assert.c
[ 0:16] 
[ 0:26]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
[ 0:26]           ———      |     |   |   |     |   |   |\    |  |         |    |
[ 0:26]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
[ 0:26]         ———————    |     |   |    \   /    |   |    \|  |              |
[ 0:26]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
[ 0:26] 
[ 0:26] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
[ 0:26] # executing __boot at /divine/src/dios/core/dios.cpp:169
[ 0:26] > start
[ 0:26] # a new program state was stored as #1
[ 0:29] # active threads: [0:0]
[ 0:29] # a new program state was stored as #2
[ 0:30] # active threads: [0:0]
[ 0:30] # executing main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5
[ 0:30] > setup --sticky "backtrace "
[ 0:30] # executing main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5
[ 0:30] > stepi
[ 0:30]   call @__dios_fault [i32 1 d] [global* 1 0 ddp] 
[ 0:30] T: (0) FAULT: Assertion failed: 0, file /home/xrockai/src/divine/nightly/test/c/1.assert.c, line 5.
[ 0:30] T: [0] FATAL: assertion failure in userspace
[ 0:30]   void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) at /divine/include/dios/core/fault.hpp:187
[ 0:30]   __dios_fault at /divine/src/libc/functions/sys/fault.c:25
[ 0:30]   main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5
[ 0:30]   _start at /divine/src/libc/functions/sys/start.cpp:76
[ 0:30] # executing void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) at /divine/include/dios/core/fault.hpp:187
[ 0:30] 
[ 0:31] = expected ==========
[ 0:31] + ^# executing __boot at
[ 0:31] > start
[ 0:31] > setup --sticky "backtrace "
[ 0:31] > stepi
[ 0:31] +   main at
[ 0:31] +   _start at
[ 0:31] 
[ 0:31] = matched ===========
[ 0:31] # executing __boot at /divine/src/dios/core/dios.cpp:169     | ^# executing __boot at
[ 0:31] > start                                                      | ^> start
[ 0:31] > setup --sticky "backtrace "                                | ^> setup --sticky "backtrace "
[ 0:31] > stepi                                                      | ^> stepi
[ 0:31]   main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5 |   main at
[ 0:31]   _start at /divine/src/libc/functions/sys/start.cpp:76      |   _start at
[ 0:31] + check debris