From 82ceda30ad6fb32382bb6d0565c75fe6a1a01b9f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 5 May 2015 17:54:46 -0700 Subject: 1267 - 'routine-state' can use the provided routine id --- cpp/.traces/screen_in_scenario_error | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'cpp/.traces/screen_in_scenario_error') diff --git a/cpp/.traces/screen_in_scenario_error b/cpp/.traces/screen_in_scenario_error index f1cf680c..c431bd02 100644 --- a/cpp/.traces/screen_in_scenario_error +++ b/cpp/.traces/screen_in_scenario_error @@ -28,11 +28,11 @@ schedule/0: screen-in-scenario-error run/0: instruction screen-in-scenario-error/0 run/0: {name: "screen", value: 900, type: 2, properties: ["screen": "address"]} <- assume-screen/115 {name: "5", value: 5, type: 0, properties: ["5": "literal", "width": ]}, {name: "3", value: 3, type: 0, properties: ["3": "literal", "height": ]} run/0: instruction init-fake-screen/0 -run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal", "capacity": ]} +run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/43 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal", "capacity": ]} mem/0: array size is 30 mem/0: new alloc: 1000 run/0: instruction init-fake-screen/1 -run/0: {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]} <- new/42 {name: "screen", value: 11, type: 0, properties: ["screen": "type"]} +run/0: {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]} <- new/43 {name: "screen", value: 11, type: 0, properties: ["screen": "type"]} mem/0: new alloc: 1031 mem/0: storing 1031 in location 1002 run/0: instruction init-fake-screen/2 @@ -107,7 +107,7 @@ run/0: address to copy is 1035 run/0: product 0 is 1035 mem/0: storing 1035 in location 1008 run/0: instruction init-fake-screen/12 -run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character", "deref": ]} <- new/42 {name: "character", value: 0, type: 0, properties: ["character": "literal"]}, {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]} +run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character", "deref": ]} <- new/43 {name: "character", value: 0, type: 0, properties: ["character": "literal"]}, {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]} mem/0: location 1007 is 15 mem/0: array size is 15 mem/0: new alloc: 1036 @@ -117,7 +117,7 @@ run/0: instruction init-fake-screen/13 run/0: clear-screen/116 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]} mem/0: location 1002 is 1031 run/0: instruction clear-screen/0 -run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]} +run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/43 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]} mem/0: array size is 30 mem/0: new alloc: 1052 run/0: instruction clear-screen/1 @@ -740,7 +740,7 @@ mem/0: location 1002 is 1031 run/0: result 0 is 1031 mem/0: storing 1031 in location 900 run/0: instruction screen-in-scenario-error/1 -run/0: run/43 {name: " +run/0: run/44 {name: " screen:address <- print-character screen:address, 97:literal # 'a' ", value: 0, type: 0, properties: [" screen:address <- print-character screen:address, 97:literal # 'a' @@ -755,7 +755,7 @@ run/0: instruction run1001/0 run/0: {name: "screen", value: 900, type: 2, properties: ["screen": "address"]} <- print-character/117 {name: "screen", value: 900, type: 2, properties: ["screen": "address"]}, {name: "97", value: 97, type: 0, properties: ["97": "literal"]} mem/0: location 900 is 1031 run/0: instruction print-character/0 -run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]} +run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/43 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]} mem/0: array size is 30 mem/0: new alloc: 1083 run/0: instruction print-character/1 @@ -870,7 +870,7 @@ mem/0: location 1085 is 1031 run/0: result 0 is 1031 mem/0: storing 1031 in location 900 run/0: instruction screen-in-scenario-error/2 -run/0: screen-should-contain/60 {name: " +run/0: screen-should-contain/61 {name: " # 01234 .b . . . -- cgit 1.4.1-2-gfad0