diff options
Diffstat (limited to 'cpp/.traces/closure')
| -rw-r--r-- | cpp/.traces/closure | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cpp/.traces/closure b/cpp/.traces/closure index 0017b943..4f0588cf 100644 --- a/cpp/.traces/closure +++ b/cpp/.traces/closure @@ -62,12 +62,12 @@ after-brace/0: copy ... after-brace/0: reply ... schedule/0: main run/0: instruction main/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction main/1 run/0: instruction init-counter/0 -mem/0: new alloc: 1030 mem/0: array size is 30 +mem/0: new alloc: 1030 run/0: instruction init-counter/1 run/0: ingredient 0 is 23 mem/0: storing 23 in location 1032 @@ -80,8 +80,8 @@ mem/0: storing 1030 in location 1002 run/0: instruction main/2 mem/0: location 1002 is 1030 run/0: instruction increment-counter/0 -mem/0: new alloc: 1060 mem/0: array size is 30 +mem/0: new alloc: 1060 run/0: instruction increment-counter/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1061 @@ -101,8 +101,8 @@ mem/0: storing 4 in location 2 run/0: instruction main/3 mem/0: location 1002 is 1030 run/0: instruction increment-counter/0 -mem/0: new alloc: 1090 mem/0: array size is 30 +mem/0: new alloc: 1090 run/0: instruction increment-counter/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1091 |