model-checker : update tesh

diff --git a/examples/msg/mc/bugged1.tesh b/examples/msg/mc/bugged1.tesh
index 36cd2f0..dbdc4eb 100644 (file)
--- a/examples/msg/mc/bugged1.tesh
+++ b/examples/msg/mc/bugged1.tesh
@@ -9,100 +9,6 @@ $ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%
 > [  0.000000] (1:server@HostA) OK
 > [  0.000000] (4:client@HostD) Sent!
 > [  0.000000] (2:client@HostB) Sent!
 > [  0.000000] (1:server@HostA) OK
 > [  0.000000] (4:client@HostD) Sent!
 > [  0.000000] (2:client@HostB) Sent!

-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!
-> [  0.000000] (1:server@HostA) OK
-> [  0.000000] (4:client@HostD) Sent!
-> [  0.000000] (2:client@HostB) Sent!
-> [  0.000000] (3:client@HostC) Sent!

 > [  0.000000] (2:client@HostB) Sent!
 > [  0.000000] (1:server@HostA) **************************
 > [  0.000000] (1:server@HostA) *** PROPERTY NOT VALID ***
 > [  0.000000] (2:client@HostB) Sent!
 > [  0.000000] (1:server@HostA) **************************
 > [  0.000000] (1:server@HostA) *** PROPERTY NOT VALID ***


@@ -118,6 +24,6 @@ $ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%
 > [  0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=(verbose only))
 > [  0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
 > [  0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server])
 > [  0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=(verbose only))
 > [  0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
 > [  0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server])

-> [  0.000000] (1:server@HostA) Expanded states = 86
-> [  0.000000] (1:server@HostA) Visited states = 370
-> [  0.000000] (1:server@HostA) Executed transitions = 340
+> [  0.000000] (1:server@HostA) Expanded states = 17
+> [  0.000000] (1:server@HostA) Visited states = 32
+> [  0.000000] (1:server@HostA) Executed transitions = 30

diff --git a/examples/msg/mc/bugged1_liveness.tesh b/examples/msg/mc/bugged1_liveness.tesh
index b4a5725..6954ef6 100644 (file)
--- a/examples/msg/mc/bugged1_liveness.tesh
+++ b/examples/msg/mc/bugged1_liveness.tesh
@@ -2,43 +2,44 @@
 
 ! expect signal SIGABRT
 ! timeout 200
 
 ! expect signal SIGABRT
 ! timeout 200

-$ ${bindir:=.}/bugged1_liveness --cfg=model-check:1 --cfg=contexts/factory:ucontext
-> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check' to '1'
-> [0.000000] [mc_global/INFO] Check the liveness property promela_bugged1_liveness
-> [Fafard:client:(2) 0.000000] [bugged1_liveness/INFO] Ask the request
-> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] Ask the request
-> [Fafard:client:(2) 0.000000] [bugged1_liveness/INFO] Propositions changed : r=1, cs=0
-> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS idle. Grant immediatly
-> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] 2 got the answer. Sleep a bit and release it
-> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS release. resource now idle
-> [Boivin:client:(3) 0.000000] [bugged1_liveness/INFO] Ask the request
-> [Tremblay:coordinator:(1) 0.000000] [bugged1_liveness/INFO] CS idle. Grant immediatly
-> [0.000000] [mc_liveness/INFO] Next pair (depth = 22, 1 interleave) already reached (equal to state 11) !
-> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-> [0.000000] [mc_liveness/INFO] |             ACCEPTANCE CYCLE            |
-> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-> [0.000000] [mc_liveness/INFO] Counter-example that violates formula :
-> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(2)client] iSend (src=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(2)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(2)client] Wait (comm=(verbose only) [(2)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(2)client] iRecv (dst=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(3)client] iRecv (dst=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(1)coordinator -> (3)client])
-> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(1)coordinator -> (3)client])
-> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
-> [0.000000] [mc_global/INFO] [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] Expanded pairs = 23
-> [0.000000] [mc_global/INFO] Visited pairs = 21
-> [0.000000] [mc_global/INFO] Executed transitions = 21
+$ ${bindir:=.}/bugged1_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext
+> [  0.000000] (0:@) Configuration change: Set 'model-check' to '1'
+> [  0.000000] (0:@) Check the liveness property promela_bugged1_liveness
+> [  0.000000] (2:client@Fafard) Ask the request
+> [  0.000000] (3:client@Boivin) Ask the request
+> [  0.000000] (2:client@Fafard) Propositions changed : r=1, cs=0
+> [  0.000000] (1:coordinator@Tremblay) CS idle. Grant immediatly
+> [  0.000000] (3:client@Boivin) 2 got the answer. Sleep a bit and release it
+> [  0.000000] (1:coordinator@Tremblay) CS release. resource now idle
+> [  0.000000] (3:client@Boivin) Ask the request
+> [  0.000000] (1:coordinator@Tremblay) CS idle. Grant immediatly
+> [  0.000000] (0:@) Next pair (depth = 22, 1 interleave) already reached (equal to state 11) !
+> [  0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
+> [  0.000000] (0:@) |             ACCEPTANCE CYCLE            |
+> [  0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
+> [  0.000000] (0:@) Counter-example that violates formula :
+> [  0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(2)client] iSend (src=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(2)client -> (1)coordinator])
+> [  0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(2)client] Wait (comm=(verbose only) [(2)client -> (1)coordinator])
+> [  0.000000] (0:@) [(2)client] iRecv (dst=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
+> [  0.000000] (0:@) [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
+> [  0.000000] (0:@) [(3)client] iRecv (dst=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(1)coordinator -> (3)client])
+> [  0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(1)coordinator -> (3)client])
+> [  0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
+> [  0.000000] (0:@) [(1)coordinator] iRecv (dst=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
+> [  0.000000] (0:@) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)coordinator] Wait (comm=(verbose only) [(3)client -> (1)coordinator])
+> [  0.000000] (0:@) [(1)coordinator] iSend (src=coordinator, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) Expanded pairs = 23
+> [  0.000000] (0:@) Visited pairs = 21
+> [  0.000000] (0:@) Executed transitions = 21
+

diff --git a/examples/msg/mc/chord/chord_neverjoin.tesh b/examples/msg/mc/chord/chord_neverjoin.tesh
index fbff4eb..ffc6a67 100644 (file)
--- a/examples/msg/mc/chord/chord_neverjoin.tesh
+++ b/examples/msg/mc/chord/chord_neverjoin.tesh
@@ -2,29 +2,30 @@
 
 ! expect signal SIGABRT
 ! timeout 200
 
 ! expect signal SIGABRT
 ! timeout 200

-$ ${bindir:=.}/chord_liveness --cfg=model-check:1 --cfg=contexts/factory:ucontext
-> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check' to '1'
-> [0.000000] [mc_global/INFO] Check the liveness property promela_chord_liveness
-> [Jean_Yves:node:(1) 0.000000] [chord_liveness/INFO] Joining the ring with id 14, knowing node 1
-> [Boivin:node:(2) 0.000000] [chord_liveness/INFO] Joining the ring with id 8, knowing node 1
-> [Jacquelin:node:(3) 0.000000] [chord_liveness/INFO] A transfer has occured
-> [Jacquelin:node:(3) 0.000000] [chord_liveness/INFO] The task was successfully received by node 1
-> [Jean_Yves:node:(1) 0.000000] [chord_liveness/INFO] Node 14 joined the ring
-> [0.000000] [mc_liveness/INFO] Next pair (depth = 11, 2 interleave) already reached (equal to state 11) !
-> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-> [0.000000] [mc_liveness/INFO] |             ACCEPTANCE CYCLE            |
-> [0.000000] [mc_liveness/INFO] *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-> [0.000000] [mc_liveness/INFO] Counter-example that violates formula :
-> [0.000000] [mc_global/INFO] [(1)node] iSend (src=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(2)node] iSend (src=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)node] Wait (comm=(verbose only) [(1)node -> (3)node])
-> [0.000000] [mc_global/INFO] [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(3)node] Test TRUE (comm=(verbose only) [(1)node -> (3)node])
-> [0.000000] [mc_global/INFO] [(3)node] iSend (src=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)node] Wait (comm=(verbose only) [(3)node -> (1)node])
-> [0.000000] [mc_global/INFO] [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(1)node] Test FALSE (comm=(verbose only))
-> [0.000000] [mc_global/INFO] Expanded pairs = 14
-> [0.000000] [mc_global/INFO] Visited pairs = 10
-> [0.000000] [mc_global/INFO] Executed transitions = 10
+$ ${bindir:=.}/chord_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" --cfg=contexts/factory:ucontext
+> [  0.000000] (0:@) Configuration change: Set 'model-check' to '1'
+> [  0.000000] (0:@) Check the liveness property promela_chord_liveness
+> [  0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1
+> [  0.000000] (2:node@Boivin) Joining the ring with id 8, knowing node 1
+> [  0.000000] (3:node@Jacquelin) A transfer has occured
+> [  0.000000] (3:node@Jacquelin) The task was successfully received by node 1
+> [  0.000000] (1:node@Jean_Yves) Node 14 joined the ring
+> [  0.000000] (0:@) Next pair (depth = 11, 2 interleave) already reached (equal to state 11) !
+> [  0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
+> [  0.000000] (0:@) |             ACCEPTANCE CYCLE            |
+> [  0.000000] (0:@) *-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
+> [  0.000000] (0:@) Counter-example that violates formula :
+> [  0.000000] (0:@) [(1)node] iSend (src=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(2)node] iSend (src=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)node] Wait (comm=(verbose only) [(1)node -> (3)node])
+> [  0.000000] (0:@) [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(3)node] Test TRUE (comm=(verbose only) [(1)node -> (3)node])
+> [  0.000000] (0:@) [(3)node] iSend (src=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)node] Wait (comm=(verbose only) [(3)node -> (1)node])
+> [  0.000000] (0:@) [(1)node] iRecv (dst=node, buff=(verbose only), size=(verbose only))
+> [  0.000000] (0:@) [(1)node] Test FALSE (comm=(verbose only))
+> [  0.000000] (0:@) Expanded pairs = 14
+> [  0.000000] (0:@) Visited pairs = 10
+> [  0.000000] (0:@) Executed transitions = 10
+

diff --git a/teshsuite/xbt/mmalloc_64.tesh b/teshsuite/xbt/mmalloc_64.tesh
index 95dcd53..77be118 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 51000
-> 200 bytes allocated with offset 51100
-> 300 bytes allocated with offset 52000
-> 400 bytes allocated with offset 52200
-> 500 bytes allocated with offset 52400
-> 600 bytes allocated with offset 53000
-> 700 bytes allocated with offset 53400
-> 800 bytes allocated with offset 53800
-> 900 bytes allocated with offset 53c00
-> 1000 bytes allocated with offset 54000
-> 1100 bytes allocated with offset 55000
-> 1200 bytes allocated with offset 55800
-> 1300 bytes allocated with offset 56000
-> 1400 bytes allocated with offset 56800
-> 1500 bytes allocated with offset 57000
-> 1600 bytes allocated with offset 57800
-> 1700 bytes allocated with offset 58000
-> 1800 bytes allocated with offset 58800
-> 1900 bytes allocated with offset 59000
-> 2000 bytes allocated with offset 59800
-> 2100 bytes allocated with offset 5a000
-> 2200 bytes allocated with offset 5b000
-> 2300 bytes allocated with offset 5c000
-> 2400 bytes allocated with offset 5d000
-> 2500 bytes allocated with offset 5e000
-> 2600 bytes allocated with offset 5f000
-> 2700 bytes allocated with offset 60000
-> 2800 bytes allocated with offset 61000
-> 2900 bytes allocated with offset 62000
-> 3000 bytes allocated with offset 63000
-> 3100 bytes allocated with offset 64000
-> 3200 bytes allocated with offset 65000
-> 3300 bytes allocated with offset 66000
-> 3400 bytes allocated with offset 67000
-> 3500 bytes allocated with offset 68000
-> 3600 bytes allocated with offset 69000
-> 3700 bytes allocated with offset 6a000
-> 3800 bytes allocated with offset 6b000
-> 3900 bytes allocated with offset 6c000
-> 4000 bytes allocated with offset 6d000
-> 4100 bytes allocated with offset 6e000
-> 4200 bytes allocated with offset 70000
-> 4300 bytes allocated with offset 72000
-> 4400 bytes allocated with offset 74000
-> 4500 bytes allocated with offset 76000
-> 4600 bytes allocated with offset 78000
-> 4700 bytes allocated with offset 7a000
-> 4800 bytes allocated with offset 7c000
-> 4900 bytes allocated with offset 7e000
-> 5000 bytes allocated with offset 80000
-> 100 bytes allocated with offset 51200
-> 200 bytes allocated with offset 51300
-> 300 bytes allocated with offset 52600
-> 400 bytes allocated with offset 52800
-> 500 bytes allocated with offset 52a00
-> 600 bytes allocated with offset 54400
-> 700 bytes allocated with offset 54800
-> 800 bytes allocated with offset 54c00
-> 900 bytes allocated with offset 82000
-> 1000 bytes allocated with offset 82400
-> 1100 bytes allocated with offset 83000
-> 1200 bytes allocated with offset 83800
-> 1300 bytes allocated with offset 84000
-> 1400 bytes allocated with offset 84800
-> 1500 bytes allocated with offset 85000
-> 1600 bytes allocated with offset 85800
-> 1700 bytes allocated with offset 86000
-> 1800 bytes allocated with offset 86800
-> 1900 bytes allocated with offset 87000
-> 2000 bytes allocated with offset 87800
-> 2100 bytes allocated with offset 88000
-> 2200 bytes allocated with offset 89000
-> 2300 bytes allocated with offset 8a000
-> 2400 bytes allocated with offset 8b000
-> 2500 bytes allocated with offset 8c000
-> 2600 bytes allocated with offset 8d000
-> 2700 bytes allocated with offset 8e000
-> 2800 bytes allocated with offset 8f000
-> 2900 bytes allocated with offset 90000
-> 3000 bytes allocated with offset 91000
-> 3100 bytes allocated with offset 92000
-> 3200 bytes allocated with offset 93000
-> 3300 bytes allocated with offset 94000
-> 3400 bytes allocated with offset 95000
-> 3500 bytes allocated with offset 96000
-> 3600 bytes allocated with offset 97000
-> 3700 bytes allocated with offset 98000
-> 3800 bytes allocated with offset 99000
-> 3900 bytes allocated with offset 9a000
-> 4000 bytes allocated with offset 9b000
-> 4100 bytes allocated with offset 9c000
-> 4200 bytes allocated with offset 9e000
-> 4300 bytes allocated with offset a0000
-> 4400 bytes allocated with offset a2000
-> 4500 bytes allocated with offset a4000
-> 4600 bytes allocated with offset a6000
-> 4700 bytes allocated with offset a8000
-> 4800 bytes allocated with offset aa000
-> 4900 bytes allocated with offset ac000
-> 5000 bytes allocated with offset ae000
+> 100 bytes allocated with offset 59000
+> 200 bytes allocated with offset 59100
+> 300 bytes allocated with offset 5a000
+> 400 bytes allocated with offset 5a200
+> 500 bytes allocated with offset 5a400
+> 600 bytes allocated with offset 5b000
+> 700 bytes allocated with offset 5b400
+> 800 bytes allocated with offset 5b800
+> 900 bytes allocated with offset 5bc00
+> 1000 bytes allocated with offset 5c000
+> 1100 bytes allocated with offset 5d000
+> 1200 bytes allocated with offset 5d800
+> 1300 bytes allocated with offset 5e000
+> 1400 bytes allocated with offset 5e800
+> 1500 bytes allocated with offset 5f000
+> 1600 bytes allocated with offset 5f800
+> 1700 bytes allocated with offset 60000
+> 1800 bytes allocated with offset 60800
+> 1900 bytes allocated with offset 61000
+> 2000 bytes allocated with offset 61800
+> 2100 bytes allocated with offset 62000
+> 2200 bytes allocated with offset 63000
+> 2300 bytes allocated with offset 64000
+> 2400 bytes allocated with offset 65000
+> 2500 bytes allocated with offset 66000
+> 2600 bytes allocated with offset 67000
+> 2700 bytes allocated with offset 68000
+> 2800 bytes allocated with offset 69000
+> 2900 bytes allocated with offset 6a000
+> 3000 bytes allocated with offset 6b000
+> 3100 bytes allocated with offset 6c000
+> 3200 bytes allocated with offset 6d000
+> 3300 bytes allocated with offset 6e000
+> 3400 bytes allocated with offset 6f000
+> 3500 bytes allocated with offset 70000
+> 3600 bytes allocated with offset 71000
+> 3700 bytes allocated with offset 72000
+> 3800 bytes allocated with offset 73000
+> 3900 bytes allocated with offset 74000
+> 4000 bytes allocated with offset 75000
+> 4100 bytes allocated with offset 76000
+> 4200 bytes allocated with offset 78000
+> 4300 bytes allocated with offset 7a000
+> 4400 bytes allocated with offset 7c000
+> 4500 bytes allocated with offset 7e000
+> 4600 bytes allocated with offset 80000
+> 4700 bytes allocated with offset 82000
+> 4800 bytes allocated with offset 84000
+> 4900 bytes allocated with offset 86000
+> 5000 bytes allocated with offset 88000
+> 100 bytes allocated with offset 59200
+> 200 bytes allocated with offset 59300
+> 300 bytes allocated with offset 5a600
+> 400 bytes allocated with offset 5a800
+> 500 bytes allocated with offset 5aa00
+> 600 bytes allocated with offset 5c400
+> 700 bytes allocated with offset 5c800
+> 800 bytes allocated with offset 5cc00
+> 900 bytes allocated with offset 8a000
+> 1000 bytes allocated with offset 8a400
+> 1100 bytes allocated with offset 8b000
+> 1200 bytes allocated with offset 8b800
+> 1300 bytes allocated with offset 8c000
+> 1400 bytes allocated with offset 8c800
+> 1500 bytes allocated with offset 8d000
+> 1600 bytes allocated with offset 8d800
+> 1700 bytes allocated with offset 8e000
+> 1800 bytes allocated with offset 8e800
+> 1900 bytes allocated with offset 8f000
+> 2000 bytes allocated with offset 8f800
+> 2100 bytes allocated with offset 90000
+> 2200 bytes allocated with offset 91000
+> 2300 bytes allocated with offset 92000
+> 2400 bytes allocated with offset 93000
+> 2500 bytes allocated with offset 94000
+> 2600 bytes allocated with offset 95000
+> 2700 bytes allocated with offset 96000
+> 2800 bytes allocated with offset 97000
+> 2900 bytes allocated with offset 98000
+> 3000 bytes allocated with offset 99000
+> 3100 bytes allocated with offset 9a000
+> 3200 bytes allocated with offset 9b000
+> 3300 bytes allocated with offset 9c000
+> 3400 bytes allocated with offset 9d000
+> 3500 bytes allocated with offset 9e000
+> 3600 bytes allocated with offset 9f000
+> 3700 bytes allocated with offset a0000
+> 3800 bytes allocated with offset a1000
+> 3900 bytes allocated with offset a2000
+> 4000 bytes allocated with offset a3000
+> 4100 bytes allocated with offset a4000
+> 4200 bytes allocated with offset a6000
+> 4300 bytes allocated with offset a8000
+> 4400 bytes allocated with offset aa000
+> 4500 bytes allocated with offset ac000
+> 4600 bytes allocated with offset ae000
+> 4700 bytes allocated with offset b0000
+> 4800 bytes allocated with offset b2000
+> 4900 bytes allocated with offset b4000
+> 5000 bytes allocated with offset b6000

 > 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