[ 0:00] + cat [ 0:00] + sim test.c [ 0:00] compiling test.c [ 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] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:03] # executing main at test.c:11 [ 0:03] > step [ 0:03] %01 = call @foo # [i32 0 u] [ 0:03] # executing foo at test.c:5 [ 0:03] [ 0:04] = expected ========== [ 0:04] + ^# executing __boot [ 0:04] > start [ 0:04] + ^# executing main at test.c:11 [ 0:04] > step [ 0:04] + ^# executing foo at test.c:5 [ 0:04] [ 0:04] = matched =========== [ 0:04] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot [ 0:04] > start | ^> start [ 0:04] # executing main at test.c:11 | ^# executing main at test.c:11 [ 0:04] > step | ^> step [ 0:04] # executing foo at test.c:5 | ^# executing foo at test.c:5 [ 0:04] + sim test.c [ 0:04] compiling test.c [ 0:04] [ 0:06] ^ —————. —.— . . —.— . . .————— . . [ 0:06] ——— | | | | | | |\ | | | | [ 0:06] —(o)— | | | | | | | \ | |———— '————| [ 0:06] ——————— | | | \ / | | \| | | [ 0:06] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:06] [ 0:06] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:06] # executing __boot at /dios/config/common.hpp:28 [ 0:06] > start [ 0:06] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:07] # executing main at test.c:11 [ 0:07] > step --count 2 [ 0:07] %01 = call @foo # [i32 0 u] [ 0:07] call @__dios_reschedule [ 0:07] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:07] # executing foo at test.c:6 [ 0:07] [ 0:07] = expected ========== [ 0:07] > start [ 0:07] > step --count 2 [ 0:07] + ^# executing foo at test.c:6 [ 0:07] [ 0:07] = matched =========== [ 0:07] > start | ^> start [ 0:07] > step --count 2 | ^> step --count 2 [ 0:07] # executing foo at test.c:6 | ^# executing foo at test.c:6 [ 0:07] + sim test.c [ 0:07] compiling test.c [ 0:07] [ 0:10] ^ —————. —.— . . —.— . . .————— . . [ 0:10] ——— | | | | | | |\ | | | | [ 0:10] —(o)— | | | | | | | \ | |———— '————| [ 0:10] ——————— | | | \ / | | \| | | [ 0:10] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:10] [ 0:10] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:10] # executing __boot at /dios/config/common.hpp:28 [ 0:10] > start [ 0:10] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:11] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:11] # executing main at test.c:11 [ 0:11] > step --count 4 [ 0:11] %01 = call @foo # [i32 0 u] [ 0:11] call @__dios_reschedule [ 0:11] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:11] ret [i32 42 d] [ 0:11] %02 = call @foo # [i32 0 u] [ 0:11] # executing foo at test.c:5 [ 0:11] [ 0:12] = expected ========== [ 0:12] > start [ 0:12] > step --count 4 [ 0:12] + ^# executing foo at test.c:5 [ 0:12] [ 0:12] = matched =========== [ 0:12] > start | ^> start [ 0:12] > step --count 4 | ^> step --count 4 [ 0:12] # executing foo at test.c:5 | ^# executing foo at test.c:5 [ 0:12] + sim test.c [ 0:12] compiling test.c [ 0:12] [ 0:15] ^ —————. —.— . . —.— . . .————— . . [ 0:15] ——— | | | | | | |\ | | | | [ 0:15] —(o)— | | | | | | | \ | |———— '————| [ 0:15] ——————— | | | \ / | | \| | | [ 0:15] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:15] [ 0:15] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:15] # executing __boot at /dios/config/common.hpp:28 [ 0:15] > start [ 0:15] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:15] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:15] # executing main at test.c:11 [ 0:15] > step --over [ 0:15] %01 = call @foo # [i32 0 u] [ 0:15] call @__dios_reschedule [ 0:15] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:15] ret [i32 42 d] [ 0:15] # executing main at test.c:12 [ 0:15] [ 0:16] = expected ========== [ 0:16] > start [ 0:16] > step --over [ 0:16] + ^# executing main at test.c:12 [ 0:16] [ 0:16] = matched =========== [ 0:16] > start | ^> start [ 0:16] > step --over | ^> step --over [ 0:16] # executing main at test.c:12 | ^# executing main at test.c:12 [ 0:16] + sim test.c [ 0:16] compiling test.c [ 0:16] [ 0:18] ^ —————. —.— . . —.— . . .————— . . [ 0:18] ——— | | | | | | |\ | | | | [ 0:18] —(o)— | | | | | | | \ | |———— '————| [ 0:18] ——————— | | | \ / | | \| | | [ 0:18] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:18] [ 0:18] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:18] # executing __boot at /dios/config/common.hpp:28 [ 0:19] > start [ 0:19] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:19] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:19] # executing main at test.c:11 [ 0:19] > step --over --count 2 [ 0:19] %01 = call @foo # [i32 0 u] [ 0:19] call @__dios_reschedule [ 0:19] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:19] ret [i32 42 d] [ 0:19] %02 = call @foo # [i32 0 u] [ 0:19] call @__dios_reschedule [ 0:19] ▶ state #120 [new] -- active threads: [0:0] -- [ 0:19] ret [i32 42 d] [ 0:19] # executing main at test.c:13 [ 0:19] [ 0:20] = expected ========== [ 0:20] > start [ 0:20] > step --over --count 2 [ 0:20] + ^# executing main at test.c:13 [ 0:20] [ 0:20] = matched =========== [ 0:20] > start | ^> start [ 0:20] > step --over --count 2 | ^> step --over --count 2 [ 0:20] # executing main at test.c:13 | ^# executing main at test.c:13 [ 0:20] + check debris [ 0:20] + test -e warning