[ 0:00] + cat [ 0:00] + sim file.cpp [ 0:00] compiling file.cpp [ 0:00] [ 0:02] ^ —————. —.— . . —.— . . .————— . . [ 0:02] ——— | | | | | | |\ | | | | [ 0:02] —(o)— | | | | | | | \ | |———— '————| [ 0:02] ——————— | | | \ / | | \| | | [ 0:02] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:02] [ 0:02] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:02] # executing __boot at /dios/config/common.hpp:28 [ 0:02] > start [ 0:02] # a new program state was stored as #1 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #2 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #3 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #4 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #5 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #6 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #7 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #8 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #9 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #10 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #11 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #12 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #13 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #14 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #15 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #16 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #17 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #18 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #19 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #20 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #21 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #22 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #23 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #24 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #25 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #26 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #27 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #28 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #29 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #30 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #31 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #32 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #33 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #34 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #35 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #36 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #37 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #38 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #39 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #40 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #41 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #42 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #43 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #44 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #45 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #46 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #47 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #48 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #49 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #50 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #51 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #52 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #53 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #54 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #55 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #56 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #57 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #58 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #59 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #60 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #61 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #62 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #63 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #64 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #65 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #66 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #67 [ 0:02] # active threads: [0:0] [ 0:02] # a new program state was stored as #68 [ 0:02] # active threads: [0:0] [ 0:02] # executing main at file.cpp:2 [ 0:02] > bitcode [ 0:02] label %entry: [ 0:02] dbg.value argc [i32 1 d] [ 0:02] dbg.declare argc [ 0:02] dbg.value [heap* a2ce3b26 0 ddp] [ 0:02] dbg.declare [ 0:02] >> %09 = icmp.sge [i32 1 d] [i32 0 d] # [i1 0 u] [ 0:02] %0a = zext %09 # [i32 0 u] [ 0:02] ret %0a [ 0:02] # executing main at file.cpp:2 [ 0:02] [ 0:02] = expected ========== [ 0:02] + ^# executing __boot at [ 0:02] > start [ 0:02] - ^# executing [ 0:02] + ^# executing main at [ 0:02] > bitcode [ 0:02] + .*dbg.declare [ 0:02] + >>.*icmp\.sge.*\[i32 0 d] [ 0:02] + ret [ 0:02] [ 0:02] = matched =========== [ 0:02] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot at [ 0:02] > start | ^> start [ 0:02] # executing main at file.cpp:2 | ^# executing main at [ 0:02] > bitcode | ^> bitcode [ 0:02] dbg.declare argc | .*dbg.declare [ 0:02] >> %09 = icmp.sge [i32 1 d] [i32 0 d] # [i1 0 u] | >>.*icmp\.sge.*\[i32 0 d] [ 0:02] ret %0a | ret [ 0:02] + check debris [ 0:02] + test -e warning