git.iko.soy/Idris-dev
on 8464bc4 help sign in
Idris-dev/test/test018/expected
415 lines 4.9 kB history raw
1Sending
2Hello!
3Received
4Hello to you too!
5Finished
6Sending
7Hello!
8Received
9Hello to you too!
10Finished
11Sending
12Hello!
13Received
14Hello to you too!
15Finished
16100
17Sent ping
18Received Hello!
19Reply: Hello back!
2099
21Sent ping
22Received Hello!
23Reply: Hello back!
2498
25Sent ping
26Received Hello!
27Reply: Hello back!
2897
29Sent ping
30Received Hello!
31Reply: Hello back!
3296
33Sent ping
34Received Hello!
35Reply: Hello back!
3695
37Sent ping
38Received Hello!
39Reply: Hello back!
4094
41Sent ping
42Received Hello!
43Reply: Hello back!
4493
45Sent ping
46Received Hello!
47Reply: Hello back!
4892
49Sent ping
50Received Hello!
51Reply: Hello back!
5291
53Sent ping
54Received Hello!
55Reply: Hello back!
5690
57Sent ping
58Received Hello!
59Reply: Hello back!
6089
61Sent ping
62Received Hello!
63Reply: Hello back!
6488
65Sent ping
66Received Hello!
67Reply: Hello back!
6887
69Sent ping
70Received Hello!
71Reply: Hello back!
7286
73Sent ping
74Received Hello!
75Reply: Hello back!
7685
77Sent ping
78Received Hello!
79Reply: Hello back!
8084
81Sent ping
82Received Hello!
83Reply: Hello back!
8483
85Sent ping
86Received Hello!
87Reply: Hello back!
8882
89Sent ping
90Received Hello!
91Reply: Hello back!
9281
93Sent ping
94Received Hello!
95Reply: Hello back!
9680
97Sent ping
98Received Hello!
99Reply: Hello back!
10079
101Sent ping
102Received Hello!
103Reply: Hello back!
10478
105Sent ping
106Received Hello!
107Reply: Hello back!
10877
109Sent ping
110Received Hello!
111Reply: Hello back!
11276
113Sent ping
114Received Hello!
115Reply: Hello back!
11675
117Sent ping
118Received Hello!
119Reply: Hello back!
12074
121Sent ping
122Received Hello!
123Reply: Hello back!
12473
125Sent ping
126Received Hello!
127Reply: Hello back!
12872
129Sent ping
130Received Hello!
131Reply: Hello back!
13271
133Sent ping
134Received Hello!
135Reply: Hello back!
13670
137Sent ping
138Received Hello!
139Reply: Hello back!
14069
141Sent ping
142Received Hello!
143Reply: Hello back!
14468
145Sent ping
146Received Hello!
147Reply: Hello back!
14867
149Sent ping
150Received Hello!
151Reply: Hello back!
15266
153Sent ping
154Received Hello!
155Reply: Hello back!
15665
157Sent ping
158Received Hello!
159Reply: Hello back!
16064
161Sent ping
162Received Hello!
163Reply: Hello back!
16463
165Sent ping
166Received Hello!
167Reply: Hello back!
16862
169Sent ping
170Received Hello!
171Reply: Hello back!
17261
173Sent ping
174Received Hello!
175Reply: Hello back!
17660
177Sent ping
178Received Hello!
179Reply: Hello back!
18059
181Sent ping
182Received Hello!
183Reply: Hello back!
18458
185Sent ping
186Received Hello!
187Reply: Hello back!
18857
189Sent ping
190Received Hello!
191Reply: Hello back!
19256
193Sent ping
194Received Hello!
195Reply: Hello back!
19655
197Sent ping
198Received Hello!
199Reply: Hello back!
20054
201Sent ping
202Received Hello!
203Reply: Hello back!
20453
205Sent ping
206Received Hello!
207Reply: Hello back!
20852
209Sent ping
210Received Hello!
211Reply: Hello back!
21251
213Sent ping
214Received Hello!
215Reply: Hello back!
21650
217Sent ping
218Received Hello!
219Reply: Hello back!
22049
221Sent ping
222Received Hello!
223Reply: Hello back!
22448
225Sent ping
226Received Hello!
227Reply: Hello back!
22847
229Sent ping
230Received Hello!
231Reply: Hello back!
23246
233Sent ping
234Received Hello!
235Reply: Hello back!
23645
237Sent ping
238Received Hello!
239Reply: Hello back!
24044
241Sent ping
242Received Hello!
243Reply: Hello back!
24443
245Sent ping
246Received Hello!
247Reply: Hello back!
24842
249Sent ping
250Received Hello!
251Reply: Hello back!
25241
253Sent ping
254Received Hello!
255Reply: Hello back!
25640
257Sent ping
258Received Hello!
259Reply: Hello back!
26039
261Sent ping
262Received Hello!
263Reply: Hello back!
26438
265Sent ping
266Received Hello!
267Reply: Hello back!
26837
269Sent ping
270Received Hello!
271Reply: Hello back!
27236
273Sent ping
274Received Hello!
275Reply: Hello back!
27635
277Sent ping
278Received Hello!
279Reply: Hello back!
28034
281Sent ping
282Received Hello!
283Reply: Hello back!
28433
285Sent ping
286Received Hello!
287Reply: Hello back!
28832
289Sent ping
290Received Hello!
291Reply: Hello back!
29231
293Sent ping
294Received Hello!
295Reply: Hello back!
29630
297Sent ping
298Received Hello!
299Reply: Hello back!
30029
301Sent ping
302Received Hello!
303Reply: Hello back!
30428
305Sent ping
306Received Hello!
307Reply: Hello back!
30827
309Sent ping
310Received Hello!
311Reply: Hello back!
31226
313Sent ping
314Received Hello!
315Reply: Hello back!
31625
317Sent ping
318Received Hello!
319Reply: Hello back!
32024
321Sent ping
322Received Hello!
323Reply: Hello back!
32423
325Sent ping
326Received Hello!
327Reply: Hello back!
32822
329Sent ping
330Received Hello!
331Reply: Hello back!
33221
333Sent ping
334Received Hello!
335Reply: Hello back!
33620
337Sent ping
338Received Hello!
339Reply: Hello back!
34019
341Sent ping
342Received Hello!
343Reply: Hello back!
34418
345Sent ping
346Received Hello!
347Reply: Hello back!
34817
349Sent ping
350Received Hello!
351Reply: Hello back!
35216
353Sent ping
354Received Hello!
355Reply: Hello back!
35615
357Sent ping
358Received Hello!
359Reply: Hello back!
36014
361Sent ping
362Received Hello!
363Reply: Hello back!
36413
365Sent ping
366Received Hello!
367Reply: Hello back!
36812
369Sent ping
370Received Hello!
371Reply: Hello back!
37211
373Sent ping
374Received Hello!
375Reply: Hello back!
37610
377Sent ping
378Received Hello!
379Reply: Hello back!
381Sent ping
382Received Hello!
383Reply: Hello back!
385Sent ping
386Received Hello!
387Reply: Hello back!
389Sent ping
390Received Hello!
391Reply: Hello back!
393Sent ping
394Received Hello!
395Reply: Hello back!
397Sent ping
398Received Hello!
399Reply: Hello back!
401Sent ping
402Received Hello!
403Reply: Hello back!
405Sent ping
406Received Hello!
407Reply: Hello back!
409Sent ping
410Received Hello!
411Reply: Hello back!
413Sent ping
414Received Hello!
415Reply: Hello back!