From 249a5672e41f603c8d705f69f2939a25a45685ff Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 May 2015 18:39:58 -0700 Subject: 1246 --- cpp/.traces/include_nonderef_properties | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'cpp/.traces/include_nonderef_properties') diff --git a/cpp/.traces/include_nonderef_properties b/cpp/.traces/include_nonderef_properties index 7a073504..aa4d3c6b 100644 --- a/cpp/.traces/include_nonderef_properties +++ b/cpp/.traces/include_nonderef_properties @@ -19,19 +19,19 @@ after-brace/0: get ... new/0: routine allocated memory from 1000 to 101000 schedule/0: main run/0: instruction main/0 -run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- copy {name: "2", value: 2, type: 0, properties: ["2": "literal"]} +run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- copy/1 {name: "2", value: 2, type: 0, properties: ["2": "literal"]} run/0: ingredient 0 is 2 mem/0: storing 2 in location 1 run/0: instruction main/1 -run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy {name: "34", value: 34, type: 0, properties: ["34": "literal"]} +run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy/1 {name: "34", value: 34, type: 0, properties: ["34": "literal"]} run/0: ingredient 0 is 34 mem/0: storing 34 in location 2 run/0: instruction main/2 -run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- copy {name: "35", value: 35, type: 0, properties: ["35": "literal"]} +run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- copy/1 {name: "35", value: 35, type: 0, properties: ["35": "literal"]} 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 {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/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: ingredient 0 is 1 mem/0: location 1 is 2 run/0: ingredient 1 is 0 -- cgit 1.4.1-2-gfad0