about summary refs log tree commit diff stats
path: root/cpp/.traces/lesser_or_equal
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-03 18:39:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-03 18:39:58 -0700
commit249a5672e41f603c8d705f69f2939a25a45685ff (patch)
treee823865449d538dec8d2606ba45af7878a277588 /cpp/.traces/lesser_or_equal
parent282a3d94b5ba889a91ac537558d0237225571a85 (diff)
downloadmu-249a5672e41f603c8d705f69f2939a25a45685ff.tar.gz
1246
Diffstat (limited to 'cpp/.traces/lesser_or_equal')
-rw-r--r--cpp/.traces/lesser_or_equal6
1 files changed, 3 insertions, 3 deletions
diff --git a/cpp/.traces/lesser_or_equal b/cpp/.traces/lesser_or_equal
index a8f225ec..ef139323 100644
--- a/cpp/.traces/lesser_or_equal
+++ b/cpp/.traces/lesser_or_equal
@@ -15,15 +15,15 @@ after-brace/0: lesser-or-equal ...
 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: "32", value: 32, type: 0, properties: ["32": "literal"]}
+run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- copy/1 {name: "32", value: 32, type: 0, properties: ["32": "literal"]}
 run/0: ingredient 0 is 32
 mem/0: storing 32 in location 1
 run/0: instruction main/1
-run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy {name: "33", value: 33, type: 0, properties: ["33": "literal"]}
+run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- copy/1 {name: "33", value: 33, type: 0, properties: ["33": "literal"]}
 run/0: ingredient 0 is 33
 mem/0: storing 33 in location 2
 run/0: instruction main/2
-run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- lesser-or-equal {name: "1", value: 1, type: 1, properties: ["1": "integer"]}, {name: "2", value: 2, type: 1, properties: ["2": "integer"]}
+run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- lesser-or-equal/17 {name: "1", value: 1, type: 1, properties: ["1": "integer"]}, {name: "2", value: 2, type: 1, properties: ["2": "integer"]}
 run/0: ingredient 0 is 1
 mem/0: location 1 is 32
 run/0: ingredient 1 is 2