diff options
Diffstat (limited to 'cpp/.traces/include_nonderef_properties')
| -rw-r--r-- | cpp/.traces/include_nonderef_properties | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cpp/.traces/include_nonderef_properties b/cpp/.traces/include_nonderef_properties index 6abd913d..ee2f7593 100644 --- a/cpp/.traces/include_nonderef_properties +++ b/cpp/.traces/include_nonderef_properties @@ -18,13 +18,13 @@ after-brace/0: copy ... after-brace/0: get ... run/0: instruction main/0 run/0: ingredient 0 is 2 -mem/0: storing in location 1 +mem/0: storing 2 in location 1 run/0: instruction main/1 run/0: ingredient 0 is 34 -mem/0: storing in location 2 +mem/0: storing 34 in location 2 run/0: instruction main/2 run/0: ingredient 0 is 35 -mem/0: storing in location 3 +mem/0: storing 35 in location 3 run/0: instruction main/3 run/0: ingredient 0 is 1 mem/0: location 1 is 2 @@ -33,4 +33,4 @@ run/0: address to copy is 2 run/0: its type is 1 mem/0: location 2 is 34 run/0: product 0 is 34 -mem/0: storing in location 4 +mem/0: storing 34 in location 4 |