[ 0:00] + cat [ 0:00] + sim -std=c++14 -C,-I/home/xrockai/src/divine/nightly/bricks file.cpp [ 0:00] compiling file.cpp [ 0:00] [ 0:14] ^ —————. —.— . . —.— . . .————— . . [ 0:14] ——— | | | | | | |\ | | | | [ 0:14] —(o)— | | | | | | | \ | |———— '————| [ 0:14] ——————— | | | \ / | | \| | | [ 0:14] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:14] [ 0:14] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:14] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:14] > start [ 0:14] # a new program state was stored as #1 [ 0:16] # active threads: [0:0] [ 0:16] # a new program state was stored as #2 [ 0:18] # active threads: [0:0] [ 0:18] # executing main at file.cpp:8 [ 0:18] > call use_choice [ 0:18] FAULT: __vm_choose is not allowed in debug mode [ 0:18] W: cannot handle a fault in debug mode (abandoned) [ 0:18] # executing main at file.cpp:8 [ 0:18] [ 0:19] = expected ========== [ 0:19] + ^# executing __boot at [ 0:19] > start [ 0:19] > call use_choice [ 0:19] + fault in debug mode [ 0:19] [ 0:19] = matched =========== [ 0:19] # executing __boot at /divine/src/dios/core/dios.cpp:169 | ^# executing __boot at [ 0:19] > start | ^> start [ 0:19] > call use_choice | ^> call use_choice [ 0:19] W: cannot handle a fault in debug mode (abandoned) | fault in debug mode [ 0:19] + check debris