Skip to content

Commit b6823ab

Browse files
committed
add trace for invalid trace
1 parent 700fafc commit b6823ab

File tree

2 files changed

+594
-0
lines changed

2 files changed

+594
-0
lines changed

BenchMarks/trace.ndjson.BUG-12.EA

Lines changed: 297 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,297 @@
1+
{"event": "OpenTx", "event_args": ["0"]}
2+
{"event": "Add", "event_args": ["0", 1, "V17"]}
3+
{"event": "Add", "event_args": ["0", 2, "V2"]}
4+
{"event": "Add", "event_args": ["0", 3, "V18"]}
5+
{"event": "Add", "event_args": ["0", 4, "V2"]}
6+
{"event": "Add", "event_args": ["0", 5, "V1"]}
7+
{"event": "Add", "event_args": ["0", 6, "V12"]}
8+
{"event": "Add", "event_args": ["0", 7, "V17"]}
9+
{"event": "Add", "event_args": ["0", 8, "V10"]}
10+
{"event": "Add", "event_args": ["0", 9, "V18"]}
11+
{"event": "Add", "event_args": ["0", 10, "V8"]}
12+
{"event": "CloseTx", "event_args": ["0"]}
13+
{"event": "OpenTx", "event_args": ["1"]}
14+
{"event": "OpenTx", "event_args": ["2"]}
15+
{"event": "OpenTx", "event_args": ["3"]}
16+
{"event": "OpenTx", "event_args": ["4"]}
17+
{"event": "Update", "event_args": ["2", 3, "V13"]}
18+
{"event": "OpenTx", "event_args": ["5"]}
19+
{"event": "OpenTx", "event_args": ["6"]}
20+
{"event": "OpenTx", "event_args": ["7"]}
21+
{"event": "OpenTx", "event_args": ["8"]}
22+
{"event": "OpenTx", "event_args": ["9"]}
23+
{"event": "OpenTx", "event_args": ["0"]}
24+
{"event": "Update", "event_args": ["8", 6, "V11"]}
25+
{"event": "Update", "event_args": ["7", 5, "V14"]}
26+
{"event": "Update", "event_args": ["6", 4, "V15"]}
27+
{"event": "Update", "event_args": ["5", 7, "V8"]}
28+
{"event": "Remove", "event_args": ["4", 9]}
29+
{"event": "Update", "event_args": ["1", 6, "V20"]}
30+
{"event": "Update", "event_args": ["3", 6, "V6"]}
31+
{"event": "Update", "event_args": ["2", 9, "V14"]}
32+
{"event": "Update", "event_args": ["9", 9, "V1"]}
33+
{"event": "Update", "event_args": ["7", 4, "V4"]}
34+
{"event": "Update", "event_args": ["6", 7, "V15"]}
35+
{"event": "Update", "event_args": ["5", 2, "V9"]}
36+
{"event": "Update", "event_args": ["4", 10, "V13"]}
37+
{"event": "Remove", "event_args": ["1", 5]}
38+
{"event": "Update", "event_args": ["3", 10, "V3"]}
39+
{"event": "Update", "event_args": ["0", 10, "V1"]}
40+
{"event": "Update", "event_args": ["2", 5, "V15"]}
41+
{"event": "Update", "event_args": ["7", 7, "V15"]}
42+
{"event": "Update", "event_args": ["6", 10, "V14"]}
43+
{"event": "Update", "event_args": ["5", 8, "V7"]}
44+
{"event": "Update", "event_args": ["9", 3, "V17"]}
45+
{"event": "Update", "event_args": ["1", 6, "V6"]}
46+
{"event": "Update", "event_args": ["0", 7, "V18"]}
47+
{"event": "Update", "event_args": ["2", 2, "V16"]}
48+
{"event": "Update", "event_args": ["6", 8, "V9"]}
49+
{"event": "Remove", "event_args": ["7", 8]}
50+
{"event": "Update", "event_args": ["4", 8, "V5"]}
51+
{"event": "Update", "event_args": ["9", 5, "V2"]}
52+
{"event": "Update", "event_args": ["1", 4, "V20"]}
53+
{"event": "Update", "event_args": ["6", 10, "V12"]}
54+
{"event": "Update", "event_args": ["7", 8, "V11"]}
55+
{"event": "Update", "event_args": ["3", 9, "V13"]}
56+
{"event": "Remove", "event_args": ["4", 2]}
57+
{"event": "CloseTx", "event_args": ["0"]}
58+
{"event": "CloseTx", "event_args": ["8"]}
59+
{"event": "CloseTx", "event_args": ["2"]}
60+
{"event": "RollbackTx", "event_args": ["9"]}
61+
{"event": "RollbackTx", "event_args": ["1"]}
62+
{"event": "RollbackTx", "event_args": ["7"]}
63+
{"event": "RollbackTx", "event_args": ["6"]}
64+
{"event": "RollbackTx", "event_args": ["3"]}
65+
{"event": "RollbackTx", "event_args": ["4"]}
66+
{"event": "RollbackTx", "event_args": ["5"]}
67+
{"event": "OpenTx", "event_args": ["1"]}
68+
{"event": "OpenTx", "event_args": ["2"]}
69+
{"event": "OpenTx", "event_args": ["3"]}
70+
{"event": "OpenTx", "event_args": ["4"]}
71+
{"event": "OpenTx", "event_args": ["5"]}
72+
{"event": "OpenTx", "event_args": ["6"]}
73+
{"event": "OpenTx", "event_args": ["7"]}
74+
{"event": "Update", "event_args": ["6", 7, "V5"]}
75+
{"event": "Update", "event_args": ["5", 1, "V20"]}
76+
{"event": "Update", "event_args": ["3", 4, "V3"]}
77+
{"event": "Update", "event_args": ["1", 10, "V15"]}
78+
{"event": "Update", "event_args": ["7", 3, "V12"]}
79+
{"event": "OpenTx", "event_args": ["8"]}
80+
{"event": "OpenTx", "event_args": ["9"]}
81+
{"event": "OpenTx", "event_args": ["0"]}
82+
{"event": "Update", "event_args": ["8", 7, "V9"]}
83+
{"event": "Remove", "event_args": ["0", 4]}
84+
{"event": "Update", "event_args": ["2", 10, "V20"]}
85+
{"event": "Update", "event_args": ["4", 3, "V7"]}
86+
{"event": "Update", "event_args": ["5", 6, "V17"]}
87+
{"event": "Update", "event_args": ["1", 2, "V11"]}
88+
{"event": "Update", "event_args": ["7", 5, "V14"]}
89+
{"event": "Update", "event_args": ["3", 1, "V15"]}
90+
{"event": "Update", "event_args": ["9", 3, "V10"]}
91+
{"event": "Update", "event_args": ["0", 6, "V18"]}
92+
{"event": "Update", "event_args": ["8", 1, "V3"]}
93+
{"event": "Update", "event_args": ["2", 7, "V4"]}
94+
{"event": "Update", "event_args": ["6", 4, "V19"]}
95+
{"event": "Update", "event_args": ["3", 2, "V10"]}
96+
{"event": "Update", "event_args": ["7", 5, "V13"]}
97+
{"event": "Update", "event_args": ["1", 9, "V20"]}
98+
{"event": "Update", "event_args": ["9", 9, "V7"]}
99+
{"event": "Update", "event_args": ["5", 5, "V7"]}
100+
{"event": "Update", "event_args": ["4", 3, "V16"]}
101+
{"event": "Update", "event_args": ["8", 5, "V18"]}
102+
{"event": "Update", "event_args": ["3", 4, "V18"]}
103+
{"event": "Update", "event_args": ["2", 10, "V7"]}
104+
{"event": "Update", "event_args": ["7", 8, "V2"]}
105+
{"event": "Remove", "event_args": ["8", 2]}
106+
{"event": "Update", "event_args": ["4", 3, "V12"]}
107+
{"event": "Update", "event_args": ["9", 7, "V15"]}
108+
{"event": "Update", "event_args": ["1", 10, "V20"]}
109+
{"event": "Update", "event_args": ["5", 1, "V2"]}
110+
{"event": "Update", "event_args": ["0", 7, "V3"]}
111+
{"event": "Update", "event_args": ["6", 2, "V17"]}
112+
{"event": "Update", "event_args": ["3", 3, "V18"]}
113+
{"event": "Update", "event_args": ["2", 7, "V8"]}
114+
{"event": "Remove", "event_args": ["1", 8]}
115+
{"event": "Update", "event_args": ["4", 6, "V9"]}
116+
{"event": "Update", "event_args": ["8", 2, "V5"]}
117+
{"event": "Update", "event_args": ["0", 6, "V9"]}
118+
{"event": "Update", "event_args": ["5", 1, "V14"]}
119+
{"event": "CloseTx", "event_args": ["6"]}
120+
{"event": "CloseTx", "event_args": ["7"]}
121+
{"event": "RollbackTx", "event_args": ["3"]}
122+
{"event": "RollbackTx", "event_args": ["2"]}
123+
{"event": "RollbackTx", "event_args": ["9"]}
124+
{"event": "RollbackTx", "event_args": ["1"]}
125+
{"event": "RollbackTx", "event_args": ["4"]}
126+
{"event": "RollbackTx", "event_args": ["0"]}
127+
{"event": "RollbackTx", "event_args": ["5"]}
128+
{"event": "RollbackTx", "event_args": ["8"]}
129+
{"event": "OpenTx", "event_args": ["1"]}
130+
{"event": "OpenTx", "event_args": ["2"]}
131+
{"event": "OpenTx", "event_args": ["3"]}
132+
{"event": "OpenTx", "event_args": ["4"]}
133+
{"event": "Update", "event_args": ["3", 8, "V1"]}
134+
{"event": "Update", "event_args": ["2", 9, "V18"]}
135+
{"event": "Update", "event_args": ["1", 4, "V1"]}
136+
{"event": "Update", "event_args": ["4", 2, "V19"]}
137+
{"event": "OpenTx", "event_args": ["5"]}
138+
{"event": "OpenTx", "event_args": ["6"]}
139+
{"event": "Update", "event_args": ["5", 4, "V13"]}
140+
{"event": "OpenTx", "event_args": ["7"]}
141+
{"event": "OpenTx", "event_args": ["8"]}
142+
{"event": "OpenTx", "event_args": ["9"]}
143+
{"event": "OpenTx", "event_args": ["0"]}
144+
{"event": "Update", "event_args": ["7", 6, "V12"]}
145+
{"event": "Update", "event_args": ["0", 6, "V12"]}
146+
{"event": "Update", "event_args": ["9", 8, "V13"]}
147+
{"event": "Update", "event_args": ["3", 7, "V19"]}
148+
{"event": "Update", "event_args": ["2", 5, "V16"]}
149+
{"event": "Update", "event_args": ["1", 5, "V12"]}
150+
{"event": "Update", "event_args": ["5", 7, "V14"]}
151+
{"event": "Update", "event_args": ["6", 7, "V12"]}
152+
{"event": "Remove", "event_args": ["8", 9]}
153+
{"event": "Update", "event_args": ["9", 4, "V11"]}
154+
{"event": "Update", "event_args": ["0", 9, "V3"]}
155+
{"event": "Update", "event_args": ["7", 10, "V12"]}
156+
{"event": "Update", "event_args": ["4", 7, "V14"]}
157+
{"event": "Update", "event_args": ["2", 6, "V2"]}
158+
{"event": "Update", "event_args": ["3", 8, "V15"]}
159+
{"event": "Update", "event_args": ["5", 4, "V15"]}
160+
{"event": "Update", "event_args": ["6", 3, "V15"]}
161+
{"event": "Remove", "event_args": ["8", 4]}
162+
{"event": "Update", "event_args": ["7", 6, "V3"]}
163+
{"event": "Update", "event_args": ["0", 5, "V9"]}
164+
{"event": "Update", "event_args": ["9", 2, "V12"]}
165+
{"event": "Update", "event_args": ["3", 5, "V11"]}
166+
{"event": "Update", "event_args": ["1", 9, "V5"]}
167+
{"event": "Update", "event_args": ["4", 5, "V12"]}
168+
{"event": "Update", "event_args": ["6", 10, "V6"]}
169+
{"event": "Update", "event_args": ["5", 6, "V19"]}
170+
{"event": "Update", "event_args": ["8", 4, "V9"]}
171+
{"event": "Update", "event_args": ["9", 5, "V19"]}
172+
{"event": "Update", "event_args": ["3", 5, "V1"]}
173+
{"event": "Update", "event_args": ["2", 2, "V4"]}
174+
{"event": "Update", "event_args": ["1", 5, "V3"]}
175+
{"event": "Update", "event_args": ["4", 10, "V16"]}
176+
{"event": "Update", "event_args": ["6", 8, "V9"]}
177+
{"event": "Update", "event_args": ["0", 1, "V8"]}
178+
{"event": "Update", "event_args": ["8", 7, "V4"]}
179+
{"event": "Update", "event_args": ["7", 6, "V15"]}
180+
{"event": "CloseTx", "event_args": ["3"]}
181+
{"event": "RollbackTx", "event_args": ["6"]}
182+
{"event": "RollbackTx", "event_args": ["5"]}
183+
{"event": "RollbackTx", "event_args": ["2"]}
184+
{"event": "RollbackTx", "event_args": ["1"]}
185+
{"event": "RollbackTx", "event_args": ["4"]}
186+
{"event": "RollbackTx", "event_args": ["9"]}
187+
{"event": "RollbackTx", "event_args": ["0"]}
188+
{"event": "RollbackTx", "event_args": ["8"]}
189+
{"event": "CloseTx", "event_args": ["7"]}
190+
{"event": "OpenTx", "event_args": ["1"]}
191+
{"event": "OpenTx", "event_args": ["2"]}
192+
{"event": "OpenTx", "event_args": ["3"]}
193+
{"event": "OpenTx", "event_args": ["4"]}
194+
{"event": "OpenTx", "event_args": ["5"]}
195+
{"event": "OpenTx", "event_args": ["6"]}
196+
{"event": "Update", "event_args": ["4", 3, "V11"]}
197+
{"event": "Update", "event_args": ["5", 4, "V15"]}
198+
{"event": "Update", "event_args": ["2", 1, "V16"]}
199+
{"event": "Update", "event_args": ["3", 7, "V9"]}
200+
{"event": "Update", "event_args": ["1", 2, "V9"]}
201+
{"event": "Update", "event_args": ["6", 6, "V11"]}
202+
{"event": "OpenTx", "event_args": ["7"]}
203+
{"event": "OpenTx", "event_args": ["8"]}
204+
{"event": "OpenTx", "event_args": ["9"]}
205+
{"event": "Update", "event_args": ["8", 2, "V3"]}
206+
{"event": "Update", "event_args": ["7", 9, "V2"]}
207+
{"event": "OpenTx", "event_args": ["0"]}
208+
{"event": "Update", "event_args": ["4", 2, "V9"]}
209+
{"event": "Update", "event_args": ["2", 7, "V14"]}
210+
{"event": "Update", "event_args": ["5", 8, "V5"]}
211+
{"event": "Update", "event_args": ["7", 7, "V7"]}
212+
{"event": "Update", "event_args": ["9", 10, "V6"]}
213+
{"event": "Update", "event_args": ["8", 4, "V16"]}
214+
{"event": "Update", "event_args": ["0", 2, "V19"]}
215+
{"event": "Update", "event_args": ["4", 7, "V12"]}
216+
{"event": "Update", "event_args": ["6", 5, "V9"]}
217+
{"event": "Update", "event_args": ["3", 4, "V16"]}
218+
{"event": "Update", "event_args": ["5", 5, "V18"]}
219+
{"event": "Update", "event_args": ["9", 8, "V14"]}
220+
{"event": "Update", "event_args": ["8", 4, "V20"]}
221+
{"event": "Update", "event_args": ["0", 10, "V8"]}
222+
{"event": "Update", "event_args": ["3", 5, "V2"]}
223+
{"event": "Update", "event_args": ["7", 8, "V6"]}
224+
{"event": "Update", "event_args": ["0", 6, "V1"]}
225+
{"event": "Update", "event_args": ["8", 3, "V19"]}
226+
{"event": "Update", "event_args": ["9", 10, "V13"]}
227+
{"event": "Update", "event_args": ["5", 8, "V11"]}
228+
{"event": "Update", "event_args": ["2", 7, "V6"]}
229+
{"event": "Update", "event_args": ["4", 2, "V19"]}
230+
{"event": "Update", "event_args": ["8", 2, "V8"]}
231+
{"event": "Update", "event_args": ["6", 3, "V2"]}
232+
{"event": "Update", "event_args": ["9", 8, "V12"]}
233+
{"event": "Update", "event_args": ["0", 3, "V10"]}
234+
{"event": "CloseTx", "event_args": ["5"]}
235+
{"event": "CloseTx", "event_args": ["2"]}
236+
{"event": "CloseTx", "event_args": ["1"]}
237+
{"event": "RollbackTx", "event_args": ["4"]}
238+
{"event": "RollbackTx", "event_args": ["8"]}
239+
{"event": "RollbackTx", "event_args": ["7"]}
240+
{"event": "RollbackTx", "event_args": ["3"]}
241+
{"event": "RollbackTx", "event_args": ["9"]}
242+
{"event": "RollbackTx", "event_args": ["6"]}
243+
{"event": "RollbackTx", "event_args": ["0"]}
244+
{"event": "OpenTx", "event_args": ["1"]}
245+
{"event": "OpenTx", "event_args": ["2"]}
246+
{"event": "OpenTx", "event_args": ["3"]}
247+
{"event": "OpenTx", "event_args": ["4"]}
248+
{"event": "OpenTx", "event_args": ["5"]}
249+
{"event": "OpenTx", "event_args": ["6"]}
250+
{"event": "OpenTx", "event_args": ["7"]}
251+
{"event": "OpenTx", "event_args": ["8"]}
252+
{"event": "OpenTx", "event_args": ["9"]}
253+
{"event": "OpenTx", "event_args": ["0"]}
254+
{"event": "Update", "event_args": ["7", 7, "V5"]}
255+
{"event": "Update", "event_args": ["6", 3, "V1"]}
256+
{"event": "Update", "event_args": ["5", 9, "V4"]}
257+
{"event": "Update", "event_args": ["4", 10, "V4"]}
258+
{"event": "Update", "event_args": ["2", 8, "V18"]}
259+
{"event": "Update", "event_args": ["0", 3, "V5"]}
260+
{"event": "Update", "event_args": ["1", 7, "V1"]}
261+
{"event": "Update", "event_args": ["9", 5, "V12"]}
262+
{"event": "Update", "event_args": ["3", 1, "V1"]}
263+
{"event": "Update", "event_args": ["2", 1, "V13"]}
264+
{"event": "Update", "event_args": ["0", 5, "V20"]}
265+
{"event": "Update", "event_args": ["6", 1, "V20"]}
266+
{"event": "Update", "event_args": ["5", 1, "V3"]}
267+
{"event": "Update", "event_args": ["4", 6, "V4"]}
268+
{"event": "Update", "event_args": ["3", 2, "V10"]}
269+
{"event": "Update", "event_args": ["8", 8, "V7"]}
270+
{"event": "Update", "event_args": ["6", 4, "V12"]}
271+
{"event": "Update", "event_args": ["9", 6, "V8"]}
272+
{"event": "Update", "event_args": ["5", 9, "V10"]}
273+
{"event": "Update", "event_args": ["1", 3, "V9"]}
274+
{"event": "Update", "event_args": ["2", 9, "V4"]}
275+
{"event": "Update", "event_args": ["7", 1, "V2"]}
276+
{"event": "Update", "event_args": ["1", 1, "V15"]}
277+
{"event": "Update", "event_args": ["8", 8, "V10"]}
278+
{"event": "Update", "event_args": ["9", 3, "V14"]}
279+
{"event": "Update", "event_args": ["5", 8, "V15"]}
280+
{"event": "Update", "event_args": ["4", 3, "V13"]}
281+
{"event": "Update", "event_args": ["3", 9, "V6"]}
282+
{"event": "Update", "event_args": ["9", 2, "V2"]}
283+
{"event": "Update", "event_args": ["5", 7, "V1"]}
284+
{"event": "Update", "event_args": ["4", 5, "V5"]}
285+
{"event": "Update", "event_args": ["0", 2, "V20"]}
286+
{"event": "Update", "event_args": ["1", 3, "V15"]}
287+
{"event": "Update", "event_args": ["2", 9, "V20"]}
288+
{"event": "CloseTx", "event_args": ["5"]}
289+
{"event": "CloseTx", "event_args": ["9"]}
290+
{"event": "RollbackTx", "event_args": ["0"]}
291+
{"event": "RollbackTx", "event_args": ["1"]}
292+
{"event": "RollbackTx", "event_args": ["2"]}
293+
{"event": "RollbackTx", "event_args": ["3"]}
294+
{"event": "RollbackTx", "event_args": ["4"]}
295+
{"event": "RollbackTx", "event_args": ["6"]}
296+
{"event": "RollbackTx", "event_args": ["8"]}
297+
{"event": "RollbackTx", "event_args": ["7"]}

0 commit comments

Comments
 (0)