diff options
Diffstat (limited to 'cpp/.traces/include_nonderef_properties')
-rw-r--r-- | cpp/.traces/include_nonderef_properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/.traces/include_nonderef_properties b/cpp/.traces/include_nonderef_properties index aa4d3c6b..d7eacc1a 100644 --- a/cpp/.traces/include_nonderef_properties +++ b/cpp/.traces/include_nonderef_properties @@ -31,7 +31,7 @@ run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- copy/1 {n run/0: ingredient 0 is 35 mem/0: storing 35 in location 3 run/0: instruction main/3 -run/0: {name: "4", value: 4, type: 1, properties: ["4": "integer"]} <- get/23 {name: "1", value: 1, type: 2-6, properties: ["1": "address":"point", "deref": , "foo": ]}, {name: "0", value: 0, type: 0, properties: ["0": "offset"]} +run/0: {name: "4", value: 4, type: 1, properties: ["4": "integer"]} <- get/24 {name: "1", value: 1, type: 2-6, properties: ["1": "address":"point", "deref": , "foo": ]}, {name: "0", value: 0, type: 0, properties: ["0": "offset"]} run/0: ingredient 0 is 1 mem/0: location 1 is 2 run/0: ingredient 1 is 0 |