Ticket #85: step-states.log

File step-states.log, 16.4 KB (added by Lukáš Zaoral, 12 months ago)
Line 
1[ 0:00] + cat
2[ 0:00] + sim test.c
3[ 0:00] compiling test.c
4[ 0:00]
5[ 0:01]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
6[ 0:01]           ———      |     |   |   |     |   |   |\    |  |         |    |
7[ 0:01]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
8[ 0:01]         ———————    |     |   |    \   /    |   |    \|  |              |
9[ 0:01]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
10[ 0:01]
11[ 0:01] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
12[ 0:01] # executing __boot at /dios/include/config/common.hpp:28
13[ 0:01] > start
14[ 0:01] # a new program state was stored as #1
15[ 0:01] # active threads: [0:0]
16[ 0:01] # a new program state was stored as #2
17[ 0:01] # active threads: [0:0]
18[ 0:01] # a new program state was stored as #3
19[ 0:01] # active threads: [0:0]
20[ 0:01] # a new program state was stored as #4
21[ 0:01] # active threads: [0:0]
22[ 0:01] # a new program state was stored as #5
23[ 0:01] # active threads: [0:0]
24[ 0:01] # a new program state was stored as #6
25[ 0:01] # active threads: [0:0]
26[ 0:01] # a new program state was stored as #7
27[ 0:01] # active threads: [0:0]
28[ 0:01] # a new program state was stored as #8
29[ 0:01] # active threads: [0:0]
30[ 0:01] # a new program state was stored as #9
31[ 0:01] # active threads: [0:0]
32[ 0:01] # a new program state was stored as #10
33[ 0:01] # active threads: [0:0]
34[ 0:01] # a new program state was stored as #11
35[ 0:01] # active threads: [0:0]
36[ 0:01] # a new program state was stored as #12
37[ 0:01] # active threads: [0:0]
38[ 0:01] # a new program state was stored as #13
39[ 0:01] # active threads: [0:0]
40[ 0:01] # a new program state was stored as #14
41[ 0:01] # active threads: [0:0]
42[ 0:01] # a new program state was stored as #15
43[ 0:01] # active threads: [0:0]
44[ 0:01] # a new program state was stored as #16
45[ 0:01] # active threads: [0:0]
46[ 0:01] # a new program state was stored as #17
47[ 0:01] # active threads: [0:0]
48[ 0:01] # a new program state was stored as #18
49[ 0:01] # active threads: [0:0]
50[ 0:01] # a new program state was stored as #19
51[ 0:01] # active threads: [0:0]
52[ 0:01] # a new program state was stored as #20
53[ 0:01] # active threads: [0:0]
54[ 0:01] # a new program state was stored as #21
55[ 0:01] # active threads: [0:0]
56[ 0:01] # a new program state was stored as #22
57[ 0:01] # active threads: [0:0]
58[ 0:01] # a new program state was stored as #23
59[ 0:01] # active threads: [0:0]
60[ 0:01] # a new program state was stored as #24
61[ 0:01] # active threads: [0:0]
62[ 0:01] # a new program state was stored as #25
63[ 0:01] # active threads: [0:0]
64[ 0:01] # a new program state was stored as #26
65[ 0:01] # active threads: [0:0]
66[ 0:01] # a new program state was stored as #27
67[ 0:01] # active threads: [0:0]
68[ 0:01] # a new program state was stored as #28
69[ 0:01] # active threads: [0:0]
70[ 0:01] # a new program state was stored as #29
71[ 0:01] # active threads: [0:0]
72[ 0:01] # a new program state was stored as #30
73[ 0:01] # active threads: [0:0]
74[ 0:01] # a new program state was stored as #31
75[ 0:01] # active threads: [0:0]
76[ 0:01] # a new program state was stored as #32
77[ 0:01] # active threads: [0:0]
78[ 0:01] # a new program state was stored as #33
79[ 0:01] # active threads: [0:0]
80[ 0:01] # a new program state was stored as #34
81[ 0:01] # active threads: [0:0]
82[ 0:01] # a new program state was stored as #35
83[ 0:01] # active threads: [0:0]
84[ 0:01] # a new program state was stored as #36
85[ 0:01] # active threads: [0:0]
86[ 0:01] # a new program state was stored as #37
87[ 0:01] # active threads: [0:0]
88[ 0:01] # a new program state was stored as #38
89[ 0:01] # active threads: [0:0]
90[ 0:01] # a new program state was stored as #39
91[ 0:01] # active threads: [0:0]
92[ 0:01] # a new program state was stored as #40
93[ 0:01] # active threads: [0:0]
94[ 0:01] # a new program state was stored as #41
95[ 0:01] # active threads: [0:0]
96[ 0:01] # a new program state was stored as #42
97[ 0:01] # active threads: [0:0]
98[ 0:01] # a new program state was stored as #43
99[ 0:01] # active threads: [0:0]
100[ 0:01] # a new program state was stored as #44
101[ 0:01] # active threads: [0:0]
102[ 0:01] # a new program state was stored as #45
103[ 0:01] # active threads: [0:0]
104[ 0:01] # a new program state was stored as #46
105[ 0:01] # active threads: [0:0]
106[ 0:01] # a new program state was stored as #47
107[ 0:01] # active threads: [0:0]
108[ 0:01] # a new program state was stored as #48
109[ 0:01] # active threads: [0:0]
110[ 0:01] # a new program state was stored as #49
111[ 0:01] # active threads: [0:0]
112[ 0:01] # a new program state was stored as #50
113[ 0:01] # active threads: [0:0]
114[ 0:01] # a new program state was stored as #51
115[ 0:01] # active threads: [0:0]
116[ 0:01] # a new program state was stored as #52
117[ 0:01] # active threads: [0:0]
118[ 0:01] # a new program state was stored as #53
119[ 0:01] # active threads: [0:0]
120[ 0:01] # a new program state was stored as #54
121[ 0:01] # active threads: [0:0]
122[ 0:01] # a new program state was stored as #55
123[ 0:01] # active threads: [0:0]
124[ 0:01] # a new program state was stored as #56
125[ 0:01] # active threads: [0:0]
126[ 0:01] # a new program state was stored as #57
127[ 0:01] # active threads: [0:0]
128[ 0:01] # a new program state was stored as #58
129[ 0:01] # active threads: [0:0]
130[ 0:01] # a new program state was stored as #59
131[ 0:01] # active threads: [0:0]
132[ 0:01] # a new program state was stored as #60
133[ 0:01] # active threads: [0:0]
134[ 0:01] # a new program state was stored as #61
135[ 0:01] # active threads: [0:0]
136[ 0:01] # a new program state was stored as #62
137[ 0:01] # active threads: [0:0]
138[ 0:01] # a new program state was stored as #63
139[ 0:01] # active threads: [0:0]
140[ 0:01] # a new program state was stored as #64
141[ 0:01] # active threads: [0:0]
142[ 0:01] # a new program state was stored as #65
143[ 0:01] # active threads: [0:0]
144[ 0:01] # a new program state was stored as #66
145[ 0:01] # active threads: [0:0]
146[ 0:01] # a new program state was stored as #67
147[ 0:01] # active threads: [0:0]
148[ 0:01] # a new program state was stored as #68
149[ 0:01] # active threads: [0:0]
150[ 0:01] # a new program state was stored as #69
151[ 0:01] # active threads: [0:0]
152[ 0:01] # a new program state was stored as #70
153[ 0:01] # active threads: [0:0]
154[ 0:01] # a new program state was stored as #71
155[ 0:01] # active threads: [0:0]
156[ 0:01] # a new program state was stored as #72
157[ 0:01] # active threads: [0:0]
158[ 0:01] # a new program state was stored as #73
159[ 0:01] # active threads: [0:0]
160[ 0:01] # a new program state was stored as #74
161[ 0:01] # active threads: [0:0]
162[ 0:01] # a new program state was stored as #75
163[ 0:01] # active threads: [0:0]
164[ 0:01] # a new program state was stored as #76
165[ 0:01] # active threads: [0:0]
166[ 0:01] # a new program state was stored as #77
167[ 0:01] # active threads: [0:0]
168[ 0:01] # a new program state was stored as #78
169[ 0:01] # active threads: [0:0]
170[ 0:01] # a new program state was stored as #79
171[ 0:01] # active threads: [0:0]
172[ 0:01] # a new program state was stored as #80
173[ 0:01] # active threads: [0:0]
174[ 0:01] # a new program state was stored as #81
175[ 0:01] # active threads: [0:0]
176[ 0:01] # a new program state was stored as #82
177[ 0:01] # active threads: [0:0]
178[ 0:01] # a new program state was stored as #83
179[ 0:01] # active threads: [0:0]
180[ 0:01] # a new program state was stored as #84
181[ 0:01] # active threads: [0:0]
182[ 0:01] # a new program state was stored as #85
183[ 0:01] # active threads: [0:0]
184[ 0:01] # a new program state was stored as #86
185[ 0:01] # active threads: [0:0]
186[ 0:01] # executing main at test.c:11
187[ 0:01] > step
188[ 0:01]   %01 = call @foo                                           # [i32 0 u]
189[ 0:01] # executing foo at test.c:5
190[ 0:02]
191[ 0:02] = expected ==========
192[ 0:02] + ^# executing __boot
193[ 0:02] > start
194[ 0:02] + ^# executing main at test.c:11
195[ 0:02] > step
196[ 0:02] + ^# executing foo at test.c:5
197[ 0:02]
198[ 0:02] = matched ===========
199[ 0:02] # executing __boot at /dios/include/config/common.hpp:28     | ^# executing __boot
200[ 0:02] > start                                                      | ^> start
201[ 0:02] # executing main at test.c:11                                | ^# executing main at test.c:11
202[ 0:02] > step                                                       | ^> step
203[ 0:02] # executing foo at test.c:5                                  | ^# executing foo at test.c:5
204[ 0:02] + sim test.c
205[ 0:02] compiling test.c
206[ 0:02]
207[ 0:03]            ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
208[ 0:03]           ———      |     |   |   |     |   |   |\    |  |         |    |
209[ 0:03]          —(o)—     |     |   |   |     |   |   |  \  |  |————     '————|
210[ 0:03]         ———————    |     |   |    \   /    |   |    \|  |              |
211[ 0:03]        —————————   —————'   —'—     '     —'—  '     '  '—————         '
212[ 0:03]
213[ 0:03] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started.
214[ 0:03] # executing __boot at /dios/include/config/common.hpp:28
215[ 0:03] > start
216[ 0:03] # a new program state was stored as #1
217[ 0:03] # active threads: [0:0]
218[ 0:03] # a new program state was stored as #2
219[ 0:03] # active threads: [0:0]
220[ 0:03] # a new program state was stored as #3
221[ 0:03] # active threads: [0:0]
222[ 0:03] # a new program state was stored as #4
223[ 0:03] # active threads: [0:0]
224[ 0:03] # a new program state was stored as #5
225[ 0:03] # active threads: [0:0]
226[ 0:03] # a new program state was stored as #6
227[ 0:03] # active threads: [0:0]
228[ 0:03] # a new program state was stored as #7
229[ 0:03] # active threads: [0:0]
230[ 0:03] # a new program state was stored as #8
231[ 0:03] # active threads: [0:0]
232[ 0:03] # a new program state was stored as #9
233[ 0:03] # active threads: [0:0]
234[ 0:03] # a new program state was stored as #10
235[ 0:03] # active threads: [0:0]
236[ 0:03] # a new program state was stored as #11
237[ 0:03] # active threads: [0:0]
238[ 0:03] # a new program state was stored as #12
239[ 0:03] # active threads: [0:0]
240[ 0:03] # a new program state was stored as #13
241[ 0:03] # active threads: [0:0]
242[ 0:03] # a new program state was stored as #14
243[ 0:03] # active threads: [0:0]
244[ 0:03] # a new program state was stored as #15
245[ 0:03] # active threads: [0:0]
246[ 0:03] # a new program state was stored as #16
247[ 0:03] # active threads: [0:0]
248[ 0:03] # a new program state was stored as #17
249[ 0:03] # active threads: [0:0]
250[ 0:03] # a new program state was stored as #18
251[ 0:03] # active threads: [0:0]
252[ 0:03] # a new program state was stored as #19
253[ 0:03] # active threads: [0:0]
254[ 0:03] # a new program state was stored as #20
255[ 0:03] # active threads: [0:0]
256[ 0:03] # a new program state was stored as #21
257[ 0:03] # active threads: [0:0]
258[ 0:03] # a new program state was stored as #22
259[ 0:03] # active threads: [0:0]
260[ 0:03] # a new program state was stored as #23
261[ 0:03] # active threads: [0:0]
262[ 0:03] # a new program state was stored as #24
263[ 0:03] # active threads: [0:0]
264[ 0:03] # a new program state was stored as #25
265[ 0:03] # active threads: [0:0]
266[ 0:03] # a new program state was stored as #26
267[ 0:03] # active threads: [0:0]
268[ 0:03] # a new program state was stored as #27
269[ 0:03] # active threads: [0:0]
270[ 0:03] # a new program state was stored as #28
271[ 0:03] # active threads: [0:0]
272[ 0:03] # a new program state was stored as #29
273[ 0:03] # active threads: [0:0]
274[ 0:03] # a new program state was stored as #30
275[ 0:03] # active threads: [0:0]
276[ 0:03] # a new program state was stored as #31
277[ 0:03] # active threads: [0:0]
278[ 0:03] # a new program state was stored as #32
279[ 0:03] # active threads: [0:0]
280[ 0:03] # a new program state was stored as #33
281[ 0:03] # active threads: [0:0]
282[ 0:03] # a new program state was stored as #34
283[ 0:03] # active threads: [0:0]
284[ 0:03] # a new program state was stored as #35
285[ 0:03] # active threads: [0:0]
286[ 0:03] # a new program state was stored as #36
287[ 0:03] # active threads: [0:0]
288[ 0:03] # a new program state was stored as #37
289[ 0:03] # active threads: [0:0]
290[ 0:03] # a new program state was stored as #38
291[ 0:03] # active threads: [0:0]
292[ 0:03] # a new program state was stored as #39
293[ 0:03] # active threads: [0:0]
294[ 0:03] # a new program state was stored as #40
295[ 0:03] # active threads: [0:0]
296[ 0:03] # a new program state was stored as #41
297[ 0:03] # active threads: [0:0]
298[ 0:03] # a new program state was stored as #42
299[ 0:03] # active threads: [0:0]
300[ 0:03] # a new program state was stored as #43
301[ 0:03] # active threads: [0:0]
302[ 0:03] # a new program state was stored as #44
303[ 0:03] # active threads: [0:0]
304[ 0:03] # a new program state was stored as #45
305[ 0:03] # active threads: [0:0]
306[ 0:03] # a new program state was stored as #46
307[ 0:03] # active threads: [0:0]
308[ 0:03] # a new program state was stored as #47
309[ 0:03] # active threads: [0:0]
310[ 0:03] # a new program state was stored as #48
311[ 0:03] # active threads: [0:0]
312[ 0:03] # a new program state was stored as #49
313[ 0:03] # active threads: [0:0]
314[ 0:03] # a new program state was stored as #50
315[ 0:03] # active threads: [0:0]
316[ 0:03] # a new program state was stored as #51
317[ 0:03] # active threads: [0:0]
318[ 0:03] # a new program state was stored as #52
319[ 0:04] # active threads: [0:0]
320[ 0:04] # a new program state was stored as #53
321[ 0:04] # active threads: [0:0]
322[ 0:04] # a new program state was stored as #54
323[ 0:04] # active threads: [0:0]
324[ 0:04] # a new program state was stored as #55
325[ 0:04] # active threads: [0:0]
326[ 0:04] # a new program state was stored as #56
327[ 0:04] # active threads: [0:0]
328[ 0:04] # a new program state was stored as #57
329[ 0:04] # active threads: [0:0]
330[ 0:04] # a new program state was stored as #58
331[ 0:04] # active threads: [0:0]
332[ 0:04] # a new program state was stored as #59
333[ 0:04] # active threads: [0:0]
334[ 0:04] # a new program state was stored as #60
335[ 0:04] # active threads: [0:0]
336[ 0:04] # a new program state was stored as #61
337[ 0:04] # active threads: [0:0]
338[ 0:04] # a new program state was stored as #62
339[ 0:04] # active threads: [0:0]
340[ 0:04] # a new program state was stored as #63
341[ 0:04] # active threads: [0:0]
342[ 0:04] # a new program state was stored as #64
343[ 0:04] # active threads: [0:0]
344[ 0:04] # a new program state was stored as #65
345[ 0:04] # active threads: [0:0]
346[ 0:04] # a new program state was stored as #66
347[ 0:04] # active threads: [0:0]
348[ 0:04] # a new program state was stored as #67
349[ 0:04] # active threads: [0:0]
350[ 0:04] # a new program state was stored as #68
351[ 0:04] # active threads: [0:0]
352[ 0:04] # a new program state was stored as #69
353[ 0:04] # active threads: [0:0]
354[ 0:04] # a new program state was stored as #70
355[ 0:04] # active threads: [0:0]
356[ 0:04] # a new program state was stored as #71
357[ 0:04] # active threads: [0:0]
358[ 0:04] # a new program state was stored as #72
359[ 0:04] # active threads: [0:0]
360[ 0:04] # a new program state was stored as #73
361[ 0:04] # active threads: [0:0]
362[ 0:04] # a new program state was stored as #74
363[ 0:04] # active threads: [0:0]
364[ 0:04] # a new program state was stored as #75
365[ 0:04] # active threads: [0:0]
366[ 0:04] # a new program state was stored as #76
367[ 0:04] # active threads: [0:0]
368[ 0:04] # a new program state was stored as #77
369[ 0:04] # active threads: [0:0]
370[ 0:04] # a new program state was stored as #78
371[ 0:04] # active threads: [0:0]
372[ 0:04] # a new program state was stored as #79
373[ 0:04] # active threads: [0:0]
374[ 0:04] # a new program state was stored as #80
375[ 0:04] # active threads: [0:0]
376[ 0:04] # a new program state was stored as #81
377[ 0:04] # active threads: [0:0]
378[ 0:04] # a new program state was stored as #82
379[ 0:04] # active threads: [0:0]
380[ 0:04] # a new program state was stored as #83
381[ 0:04] # active threads: [0:0]
382[ 0:04] # a new program state was stored as #84
383[ 0:04] # active threads: [0:0]
384[ 0:04] # a new program state was stored as #85
385[ 0:04] # active threads: [0:0]
386[ 0:04] # a new program state was stored as #86
387[ 0:04] # active threads: [0:0]
388[ 0:04] # executing main at test.c:11
389[ 0:04] > step --count 2
390[ 0:04]   %01 = call @foo                                           # [i32 0 u]
391[ 0:04]   call @__dios_reschedule
392[ 0:04] # executing __dios_reschedule at /dios/include/_build.release/dios/include/sys/divm.h:490
393[ 0:04]
394[ 0:04] = expected ==========
395[ 0:04] > start
396[ 0:04] > step --count 2
397[ 0:04] + ^# executing foo at test.c:6
398[ 0:04]
399[ 0:04] = matched ===========
400[ 0:04] > start                                                      | ^> start
401[ 0:04] > step --count 2                                             | ^> step --count 2
402[ 0:04] failed to find + ^# executing foo at test.c:6
403[ 0:04] + check debris
404[ 0:04] + test -e warning