[ 0:00] + SRC=/home/xrockai/src/divine/nightly/test/demo/1.deadlock.c [ 0:00] + sim /home/xrockai/src/divine/nightly/test/demo/1.deadlock.c [ 0:00] compiling /home/xrockai/src/divine/nightly/test/demo/1.deadlock.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 libc [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > stepa [ 0:11] # a new program state was stored as #1 [ 0:11] # active threads: [0:0] [ 0:11] # executing _start at /divine/src/libc/functions/sys/start.cpp:66 [ 0:11] > stepa [ 0:11] # a new program state was stored as #2 [ 0:13] # active threads: [0:0] [ 0:13] # executing _start at /divine/src/libc/functions/sys/start.cpp:76 [ 0:13] > rewind #1 [ 0:13] # active threads: [0:0] [ 0:13] # executing _start at /divine/src/libc/functions/sys/start.cpp:66 [ 0:13] [ 0:14] = expected ========== [ 0:14] > setup --debug libc [ 0:14] > stepa [ 0:14] > stepa [ 0:14] > rewind #1 [ 0:14] ! ERROR [ 0:14] + executing _start [ 0:14] [ 0:14] = matched =========== [ 0:14] > setup --debug libc | ^> setup --debug libc [ 0:14] > stepa | ^> stepa [ 0:14] > stepa | ^> stepa [ 0:14] > rewind #1 | ^> rewind #1 [ 0:14] # executing _start at /divine/src/libc/functions/sys/start.cpp:66 | executing _start [ 0:14] + check debris