[ 0:00] + SRC=/home/xrockai/src/divine/nightly/test/c/1.assert.c [ 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:11] ^ —————. —.— . . —.— . . .————— . . [ 0:11] ——— | | | | | | |\ | | | | [ 0:11] —(o)— | | | | | | | \ | |———— '————| [ 0:11] ——————— | | | \ / | | \| | | [ 0:11] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:11] [ 0:11] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > setup --debug-everything [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > start [ 0:11] # a new program state was stored as #1 [ 0:14] # active threads: [0:0] [ 0:14] # a new program state was stored as #2 [ 0:15] # active threads: [0:0] [ 0:15] # executing main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5 [ 0:15] > stepa [ 0:15] T: (0) FAULT: Assertion failed: 0, file /home/xrockai/src/divine/nightly/test/c/1.assert.c, line 5. [ 0:15] T: [0] FATAL: assertion failure in userspace [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in {Syscall}::fault_handlerWrappper({Context}&, void*, __va_list_tag*) [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in {Syscall}::handle({Context}&, _DiOS_Syscall&) [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in void {Scheduler}::run_scheduler<{Context} >() [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in __dios_trap [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in __dios_syscall [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in __dios_fault [ 0:15] > up [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in main [ 0:15] > show [ 0:15] attributes: [ 0:15] address: heap* a8dcabc6 0+0 [ 0:15] shared: 0 [ 0:15] pc: code* 1 1 [ 0:15] insn: call @__dios_fault [i32 1 d] [global* 1 0 ddp] [ 0:15] location: /home/xrockai/src/divine/nightly/test/c/1.assert.c:5 [ 0:15] symbol: main [ 0:15] related: [ caller ] [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:15] # NOTE: $frame in main [ 0:15] > down [ 0:15] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in __dios_fault [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in void {Fault}::handler<{Context} >(_VM_Fault, _VM_Frame*, void (*)(), ...) [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in __dios_syscall [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in __dios_trap [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in void {Scheduler}::run_scheduler<{Context} >() [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in {Syscall}::handle({Context}&, _DiOS_Syscall&) [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] # NOTE: $frame in {Syscall}::fault_handlerWrappper({Context}&, void*, __va_list_tag*) [ 0:16] > down [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] > show [ 0:16] attributes: [ 0:16] address: heap* 634fc16e 0+0 [ 0:16] shared: 0 [ 0:16] pc: code* a4 43h [ 0:16] insn: %43 = vm.control [i32 2 d] [i32 7 d] [i64 8 d] [i64 8 d] [code* 0 0 ddp] # [global* 0 0 uun] [ 0:16] location: /divine/include/dios/core/fault.hpp:175 [ 0:16] symbol: {Fault}::fault_handler(int, _VM_Frame*, int) [ 0:16] .__p: [ 0:16] type: const char* [ 0:16] value: [heap* 30c776a3 0 ddp] [ 0:16] scope: std::__2::__to_raw_pointer [ 0:16] related: [ deref ] [ 0:16] .__x: [ 0:16] type: const char& [ 0:16] value: [heap* 30c776a3 0 ddp] [ 0:16] scope: std::__2::addressof [ 0:16] related: [ deref ] [ 0:16] .__r: [ 0:16] type: (type = const char)& [ 0:16] value: [heap* 30c776a3 0 ddp] [ 0:16] scope: pointer_to [ 0:16] related: [ deref ] [ 0:16] .this: [ 0:16] type: const basic_string, __dios::Allocator >* [ 0:16] value: [heap* 30c776a3 0 ddp] [ 0:16] scope: __get_short_pointer [ 0:16] related: [ deref ] [ 0:16] .cfg: [ 0:16] type: unsigned char* [ 0:16] value: [heap* 78aa3806 18h ddp] [ 0:16] scope: fault_handler [ 0:16] related: [ deref ] [ 0:16] .what: [ 0:16] type: int [ 0:16] value: [i32 1 d] [ 0:16] scope: fault_handler [ 0:16] .frame: [ 0:16] type: _VM_Frame* [ 0:16] value: [heap* 8b5b50af 0 ddp] [ 0:16] scope: fault_handler [ 0:16] related: [ deref ] [ 0:16] .kernel: [ 0:16] type: int [ 0:16] value: [i32 0 d] [ 0:16] scope: fault_handler [ 0:16] related: [ caller, 72, 88, 100, 132 ] [ 0:16] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 [ 0:16] [ 0:17] = expected ========== [ 0:17] + ^# executing __boot [ 0:17] > setup --debug-everything [ 0:17] > start [ 0:17] + ^# executing main [ 0:17] > stepa [ 0:17] + ^# executing .*fault_handler [ 0:17] > up [ 0:17] > up [ 0:17] > up [ 0:17] + ^#.*frame in .*run_scheduler [ 0:17] > up [ 0:17] > up [ 0:17] > up [ 0:17] > up [ 0:17] + ^#.*frame in __dios_fault [ 0:17] > up [ 0:17] + ^#.*frame in main [ 0:17] > show [ 0:17] + symbol:.*main [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > down [ 0:17] > show [ 0:17] + symbol:.*fault_handler [ 0:17] [ 0:17] = matched =========== [ 0:17] # executing __boot at /divine/src/dios/core/dios.cpp:169 | ^# executing __boot [ 0:17] > setup --debug-everything | ^> setup --debug-everything [ 0:17] > start | ^> start [ 0:17] # executing main at /home/xrockai/src/divine/nightly/test/c/1.assert.c:5 | ^# executing main [ 0:17] > stepa | ^> stepa [ 0:17] # executing {Fault}::fault_handler(int, _VM_Frame*, int) at /divine/include/dios/core/fault.hpp:175 | ^# executing .*fault_handler [ 0:17] > up | ^> up [ 0:17] > up | ^> up [ 0:17] > up | ^> up [ 0:17] # NOTE: $frame in void {Scheduler}::run_scheduler<{Context} >() | ^#.*frame in .*run_scheduler [ 0:17] > up | ^> up [ 0:17] > up | ^> up [ 0:17] > up | ^> up [ 0:17] > up | ^> up [ 0:17] # NOTE: $frame in __dios_fault | ^#.*frame in __dios_fault [ 0:17] > up | ^> up [ 0:17] # NOTE: $frame in main | ^#.*frame in main [ 0:17] > show | ^> show [ 0:17] symbol: main | symbol:.*main [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > down | ^> down [ 0:17] > show | ^> show [ 0:17] symbol: {Fault}::fault_handler(int, _VM_Frame*, int) | symbol:.*fault_handler [ 0:17] + check debris