[ 0:00] + cat [ 0:00] + sim file.c [ 0:00] compiling file.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] > call print_hello [ 0:11] hello world [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > call die [ 0:11] FAULT: null pointer dereference: [global* 0 0 ddp] [ 0:11] W: cannot handle a fault in debug mode (abandoned) [ 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 file.c:16 [ 0:15] > call print_hello [ 0:15] hello world [ 0:15] # executing main at file.c:16 [ 0:15] > call has_args [ 0:15] ERROR: the function must not take any arguments [ 0:15] # executing main at file.c:16 [ 0:15] > call not_defined [ 0:15] ERROR: the function 'not_defined' is not defined [ 0:15] # executing main at file.c:16 [ 0:15] [ 0:16] = expected ========== [ 0:16] + ^# executing __boot at [ 0:16] > call print_hello [ 0:16] + hello world [ 0:16] > call die [ 0:16] + FAULT: null pointer dereference [ 0:16] + cannot handle a fault in debug mode [ 0:16] > start [ 0:16] + executing main() [ 0:16] > call print_hello [ 0:16] + hello world [ 0:16] > call has_args [ 0:16] + ERROR: the function must not take any arguments [ 0:16] > call not_defined [ 0:16] + ERROR: the function 'not_defined' is not defined [ 0:16] [ 0:16] = matched =========== [ 0:16] # executing __boot at /divine/src/dios/core/dios.cpp:169 | ^# executing __boot at [ 0:16] > call print_hello | ^> call print_hello [ 0:16] hello world | hello world [ 0:16] > call die | ^> call die [ 0:16] FAULT: null pointer dereference: [global* 0 0 ddp] | FAULT: null pointer dereference [ 0:16] W: cannot handle a fault in debug mode (abandoned) | cannot handle a fault in debug mode [ 0:16] > start | ^> start [ 0:16] # executing main at file.c:16 | executing main() [ 0:16] > call print_hello | ^> call print_hello [ 0:16] hello world | hello world [ 0:16] > call has_args | ^> call has_args [ 0:16] ERROR: the function must not take any arguments | ERROR: the function must not take any arguments [ 0:16] > call not_defined | ^> call not_defined [ 0:16] ERROR: the function 'not_defined' is not defined | ERROR: the function 'not_defined' is not defined [ 0:16] + check debris