Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh
[simgrid.git] / teshsuite / xbt / mmalloc_64.tesh
1 $ ./xbt/mmalloc_test --log=root.fmt:%m%n
2 > Allocating a new heap
3 > HeapA allocated
4 > 100 bytes allocated with offset 59000
5 > 200 bytes allocated with offset 59100
6 > 300 bytes allocated with offset 5a000
7 > 400 bytes allocated with offset 5a200
8 > 500 bytes allocated with offset 5a400
9 > 600 bytes allocated with offset 5b000
10 > 700 bytes allocated with offset 5b400
11 > 800 bytes allocated with offset 5b800
12 > 900 bytes allocated with offset 5bc00
13 > 1000 bytes allocated with offset 5c000
14 > 1100 bytes allocated with offset 5d000
15 > 1200 bytes allocated with offset 5d800
16 > 1300 bytes allocated with offset 5e000
17 > 1400 bytes allocated with offset 5e800
18 > 1500 bytes allocated with offset 5f000
19 > 1600 bytes allocated with offset 5f800
20 > 1700 bytes allocated with offset 60000
21 > 1800 bytes allocated with offset 60800
22 > 1900 bytes allocated with offset 61000
23 > 2000 bytes allocated with offset 61800
24 > 2100 bytes allocated with offset 62000
25 > 2200 bytes allocated with offset 63000
26 > 2300 bytes allocated with offset 64000
27 > 2400 bytes allocated with offset 65000
28 > 2500 bytes allocated with offset 66000
29 > 2600 bytes allocated with offset 67000
30 > 2700 bytes allocated with offset 68000
31 > 2800 bytes allocated with offset 69000
32 > 2900 bytes allocated with offset 6a000
33 > 3000 bytes allocated with offset 6b000
34 > 3100 bytes allocated with offset 6c000
35 > 3200 bytes allocated with offset 6d000
36 > 3300 bytes allocated with offset 6e000
37 > 3400 bytes allocated with offset 6f000
38 > 3500 bytes allocated with offset 70000
39 > 3600 bytes allocated with offset 71000
40 > 3700 bytes allocated with offset 72000
41 > 3800 bytes allocated with offset 73000
42 > 3900 bytes allocated with offset 74000
43 > 4000 bytes allocated with offset 75000
44 > 4100 bytes allocated with offset 76000
45 > 4200 bytes allocated with offset 78000
46 > 4300 bytes allocated with offset 7a000
47 > 4400 bytes allocated with offset 7c000
48 > 4500 bytes allocated with offset 7e000
49 > 4600 bytes allocated with offset 80000
50 > 4700 bytes allocated with offset 82000
51 > 4800 bytes allocated with offset 84000
52 > 4900 bytes allocated with offset 86000
53 > 5000 bytes allocated with offset 88000
54 > 100 bytes allocated with offset 59200
55 > 200 bytes allocated with offset 59300
56 > 300 bytes allocated with offset 5a600
57 > 400 bytes allocated with offset 5a800
58 > 500 bytes allocated with offset 5aa00
59 > 600 bytes allocated with offset 5c400
60 > 700 bytes allocated with offset 5c800
61 > 800 bytes allocated with offset 5cc00
62 > 900 bytes allocated with offset 8a000
63 > 1000 bytes allocated with offset 8a400
64 > 1100 bytes allocated with offset 8b000
65 > 1200 bytes allocated with offset 8b800
66 > 1300 bytes allocated with offset 8c000
67 > 1400 bytes allocated with offset 8c800
68 > 1500 bytes allocated with offset 8d000
69 > 1600 bytes allocated with offset 8d800
70 > 1700 bytes allocated with offset 8e000
71 > 1800 bytes allocated with offset 8e800
72 > 1900 bytes allocated with offset 8f000
73 > 2000 bytes allocated with offset 8f800
74 > 2100 bytes allocated with offset 90000
75 > 2200 bytes allocated with offset 91000
76 > 2300 bytes allocated with offset 92000
77 > 2400 bytes allocated with offset 93000
78 > 2500 bytes allocated with offset 94000
79 > 2600 bytes allocated with offset 95000
80 > 2700 bytes allocated with offset 96000
81 > 2800 bytes allocated with offset 97000
82 > 2900 bytes allocated with offset 98000
83 > 3000 bytes allocated with offset 99000
84 > 3100 bytes allocated with offset 9a000
85 > 3200 bytes allocated with offset 9b000
86 > 3300 bytes allocated with offset 9c000
87 > 3400 bytes allocated with offset 9d000
88 > 3500 bytes allocated with offset 9e000
89 > 3600 bytes allocated with offset 9f000
90 > 3700 bytes allocated with offset a0000
91 > 3800 bytes allocated with offset a1000
92 > 3900 bytes allocated with offset a2000
93 > 4000 bytes allocated with offset a3000
94 > 4100 bytes allocated with offset a4000
95 > 4200 bytes allocated with offset a6000
96 > 4300 bytes allocated with offset a8000
97 > 4400 bytes allocated with offset aa000
98 > 4500 bytes allocated with offset ac000
99 > 4600 bytes allocated with offset ae000
100 > 4700 bytes allocated with offset b0000
101 > 4800 bytes allocated with offset b2000
102 > 4900 bytes allocated with offset b4000
103 > 5000 bytes allocated with offset b6000
104 > All blocks were correctly allocated. Free every second block
105 > Memset every second block to zero (yeah, they are not currently allocated :)
106 > Re-allocate every second block
107 > free all blocks (each one twice, to check that double free are correctly catched)
108 > free again all blocks (to really check that double free are correctly catched)
109 > Damnit, I cannot break mmalloc this time. That's SO disappointing.