model-checker : update mmalloc tesh

diff --git a/teshsuite/xbt/mmalloc_64.tesh b/teshsuite/xbt/mmalloc_64.tesh
index 4656155..c688491 100644 (file)
--- a/teshsuite/xbt/mmalloc_64.tesh
+++ b/teshsuite/xbt/mmalloc_64.tesh
@@ -1,106 +1,106 @@
 $ ./xbt/mmalloc_test --log=root.fmt:%m%n
 > Allocating a new heap
 > HeapA allocated
 $ ./xbt/mmalloc_test --log=root.fmt:%m%n
 > Allocating a new heap
 > HeapA allocated

-> 100 bytes allocated with offset 171000
-> 200 bytes allocated with offset 171100
-> 300 bytes allocated with offset 172000
-> 400 bytes allocated with offset 172200
-> 500 bytes allocated with offset 172400
-> 600 bytes allocated with offset 173000
-> 700 bytes allocated with offset 173400
-> 800 bytes allocated with offset 173800
-> 900 bytes allocated with offset 173c00
-> 1000 bytes allocated with offset 174000
-> 1100 bytes allocated with offset 175000
-> 1200 bytes allocated with offset 175800
-> 1300 bytes allocated with offset 176000
-> 1400 bytes allocated with offset 176800
-> 1500 bytes allocated with offset 177000
-> 1600 bytes allocated with offset 177800
-> 1700 bytes allocated with offset 178000
-> 1800 bytes allocated with offset 178800
-> 1900 bytes allocated with offset 179000
-> 2000 bytes allocated with offset 179800
-> 2100 bytes allocated with offset 17a000
-> 2200 bytes allocated with offset 17b000
-> 2300 bytes allocated with offset 17c000
-> 2400 bytes allocated with offset 17d000
-> 2500 bytes allocated with offset 17e000
-> 2600 bytes allocated with offset 17f000
-> 2700 bytes allocated with offset 180000
-> 2800 bytes allocated with offset 181000
-> 2900 bytes allocated with offset 182000
-> 3000 bytes allocated with offset 183000
-> 3100 bytes allocated with offset 184000
-> 3200 bytes allocated with offset 185000
-> 3300 bytes allocated with offset 186000
-> 3400 bytes allocated with offset 187000
-> 3500 bytes allocated with offset 188000
-> 3600 bytes allocated with offset 189000
-> 3700 bytes allocated with offset 18a000
-> 3800 bytes allocated with offset 18b000
-> 3900 bytes allocated with offset 18c000
-> 4000 bytes allocated with offset 18d000
-> 4100 bytes allocated with offset 18e000
-> 4200 bytes allocated with offset 190000
-> 4300 bytes allocated with offset 192000
-> 4400 bytes allocated with offset 194000
-> 4500 bytes allocated with offset 196000
-> 4600 bytes allocated with offset 198000
-> 4700 bytes allocated with offset 19a000
-> 4800 bytes allocated with offset 19c000
-> 4900 bytes allocated with offset 19e000
-> 5000 bytes allocated with offset 1a0000
-> 100 bytes allocated with offset 171200
-> 200 bytes allocated with offset 171300
-> 300 bytes allocated with offset 172600
-> 400 bytes allocated with offset 172800
-> 500 bytes allocated with offset 172a00
-> 600 bytes allocated with offset 174400
-> 700 bytes allocated with offset 174800
-> 800 bytes allocated with offset 174c00
-> 900 bytes allocated with offset 1a2000
-> 1000 bytes allocated with offset 1a2400
-> 1100 bytes allocated with offset 1a3000
-> 1200 bytes allocated with offset 1a3800
-> 1300 bytes allocated with offset 1a4000
-> 1400 bytes allocated with offset 1a4800
-> 1500 bytes allocated with offset 1a5000
-> 1600 bytes allocated with offset 1a5800
-> 1700 bytes allocated with offset 1a6000
-> 1800 bytes allocated with offset 1a6800
-> 1900 bytes allocated with offset 1a7000
-> 2000 bytes allocated with offset 1a7800
-> 2100 bytes allocated with offset 1a8000
-> 2200 bytes allocated with offset 1a9000
-> 2300 bytes allocated with offset 1aa000
-> 2400 bytes allocated with offset 1ab000
-> 2500 bytes allocated with offset 1ac000
-> 2600 bytes allocated with offset 1ad000
-> 2700 bytes allocated with offset 1ae000
-> 2800 bytes allocated with offset 1af000
-> 2900 bytes allocated with offset 1b0000
-> 3000 bytes allocated with offset 1b1000
-> 3100 bytes allocated with offset 1b2000
-> 3200 bytes allocated with offset 1b3000
-> 3300 bytes allocated with offset 1b4000
-> 3400 bytes allocated with offset 1b5000
-> 3500 bytes allocated with offset 1b6000
-> 3600 bytes allocated with offset 1b7000
-> 3700 bytes allocated with offset 1b8000
-> 3800 bytes allocated with offset 1b9000
-> 3900 bytes allocated with offset 1ba000
-> 4000 bytes allocated with offset 1bb000
-> 4100 bytes allocated with offset 1bc000
-> 4200 bytes allocated with offset 1be000
-> 4300 bytes allocated with offset 1c0000
-> 4400 bytes allocated with offset 1c2000
-> 4500 bytes allocated with offset 1c4000
-> 4600 bytes allocated with offset 1c6000
-> 4700 bytes allocated with offset 1c8000
-> 4800 bytes allocated with offset 1ca000
-> 4900 bytes allocated with offset 1cc000
-> 5000 bytes allocated with offset 1ce000
+> 100 bytes allocated with offset 41000
+> 200 bytes allocated with offset 41100
+> 300 bytes allocated with offset 42000
+> 400 bytes allocated with offset 42200
+> 500 bytes allocated with offset 42400
+> 600 bytes allocated with offset 43000
+> 700 bytes allocated with offset 43400
+> 800 bytes allocated with offset 43800
+> 900 bytes allocated with offset 43c00
+> 1000 bytes allocated with offset 44000
+> 1100 bytes allocated with offset 45000
+> 1200 bytes allocated with offset 45800
+> 1300 bytes allocated with offset 46000
+> 1400 bytes allocated with offset 46800
+> 1500 bytes allocated with offset 47000
+> 1600 bytes allocated with offset 47800
+> 1700 bytes allocated with offset 48000
+> 1800 bytes allocated with offset 48800
+> 1900 bytes allocated with offset 49000
+> 2000 bytes allocated with offset 49800
+> 2100 bytes allocated with offset 4a000
+> 2200 bytes allocated with offset 4b000
+> 2300 bytes allocated with offset 4c000
+> 2400 bytes allocated with offset 4d000
+> 2500 bytes allocated with offset 4e000
+> 2600 bytes allocated with offset 4f000
+> 2700 bytes allocated with offset 50000
+> 2800 bytes allocated with offset 51000
+> 2900 bytes allocated with offset 52000
+> 3000 bytes allocated with offset 53000
+> 3100 bytes allocated with offset 54000
+> 3200 bytes allocated with offset 55000
+> 3300 bytes allocated with offset 56000
+> 3400 bytes allocated with offset 57000
+> 3500 bytes allocated with offset 58000
+> 3600 bytes allocated with offset 59000
+> 3700 bytes allocated with offset 5a000
+> 3800 bytes allocated with offset 5b000
+> 3900 bytes allocated with offset 5c000
+> 4000 bytes allocated with offset 5d000
+> 4100 bytes allocated with offset 5e000
+> 4200 bytes allocated with offset 60000
+> 4300 bytes allocated with offset 62000
+> 4400 bytes allocated with offset 64000
+> 4500 bytes allocated with offset 66000
+> 4600 bytes allocated with offset 68000
+> 4700 bytes allocated with offset 6a000
+> 4800 bytes allocated with offset 6c000
+> 4900 bytes allocated with offset 6e000
+> 5000 bytes allocated with offset 70000
+> 100 bytes allocated with offset 41200
+> 200 bytes allocated with offset 41300
+> 300 bytes allocated with offset 42600
+> 400 bytes allocated with offset 42800
+> 500 bytes allocated with offset 42a00
+> 600 bytes allocated with offset 44400
+> 700 bytes allocated with offset 44800
+> 800 bytes allocated with offset 44c00
+> 900 bytes allocated with offset 72000
+> 1000 bytes allocated with offset 72400
+> 1100 bytes allocated with offset 73000
+> 1200 bytes allocated with offset 73800
+> 1300 bytes allocated with offset 74000
+> 1400 bytes allocated with offset 74800
+> 1500 bytes allocated with offset 75000
+> 1600 bytes allocated with offset 75800
+> 1700 bytes allocated with offset 76000
+> 1800 bytes allocated with offset 76800
+> 1900 bytes allocated with offset 77000
+> 2000 bytes allocated with offset 77800
+> 2100 bytes allocated with offset 78000
+> 2200 bytes allocated with offset 79000
+> 2300 bytes allocated with offset 7a000
+> 2400 bytes allocated with offset 7b000
+> 2500 bytes allocated with offset 7c000
+> 2600 bytes allocated with offset 7d000
+> 2700 bytes allocated with offset 7e000
+> 2800 bytes allocated with offset 7f000
+> 2900 bytes allocated with offset 80000
+> 3000 bytes allocated with offset 81000
+> 3100 bytes allocated with offset 82000
+> 3200 bytes allocated with offset 83000
+> 3300 bytes allocated with offset 84000
+> 3400 bytes allocated with offset 85000
+> 3500 bytes allocated with offset 86000
+> 3600 bytes allocated with offset 87000
+> 3700 bytes allocated with offset 88000
+> 3800 bytes allocated with offset 89000
+> 3900 bytes allocated with offset 8a000
+> 4000 bytes allocated with offset 8b000
+> 4100 bytes allocated with offset 8c000
+> 4200 bytes allocated with offset 8e000
+> 4300 bytes allocated with offset 90000
+> 4400 bytes allocated with offset 92000
+> 4500 bytes allocated with offset 94000
+> 4600 bytes allocated with offset 96000
+> 4700 bytes allocated with offset 98000
+> 4800 bytes allocated with offset 9a000
+> 4900 bytes allocated with offset 9c000
+> 5000 bytes allocated with offset 9e000

 > All blocks were correctly allocated. Free every second block
 > Memset every second block to zero (yeah, they are not currently allocated :)
 > Re-allocate every second block
 > All blocks were correctly allocated. Free every second block
 > Memset every second block to zero (yeah, they are not currently allocated :)
 > Re-allocate every second block