about summary refs log tree commit diff stats
path: root/cpp/.traces/channel-write-not-empty
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-04-29 21:49:09 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-04-29 21:49:09 -0700
commit35457609e311125446fed88e3841e0281c2ff708 (patch)
treeab742e8a8b4a9d771d857f858003d95476c1291d /cpp/.traces/channel-write-not-empty
parent0cc4f18dd56e2e6a80809d48ef1d1e0fb302029e (diff)
downloadmu-35457609e311125446fed88e3841e0281c2ff708.tar.gz
1223 - more stable traces for parse scenarios
Diffstat (limited to 'cpp/.traces/channel-write-not-empty')
-rw-r--r--cpp/.traces/channel-write-not-empty8
1 files changed, 4 insertions, 4 deletions
diff --git a/cpp/.traces/channel-write-not-empty b/cpp/.traces/channel-write-not-empty
index 8b361b26..42d19d26 100644
--- a/cpp/.traces/channel-write-not-empty
+++ b/cpp/.traces/channel-write-not-empty
@@ -1,14 +1,14 @@
-parse/0: instruction: 108
+parse/0: instruction: init-channel
 parse/0:   ingredient: {name: "3", value: 0, type: 0, properties: ["3": "literal", "capacity": ]}
 parse/0:   product: {name: "1", value: 0, type: 2-10, properties: ["1": "address":"channel"]}
-parse/0: instruction: 109
+parse/0: instruction: write
 parse/0:   ingredient: {name: "1", value: 0, type: 2-10, properties: ["1": "address":"channel"]}
 parse/0:   ingredient: {name: "34", value: 0, type: 0, properties: ["34": "literal"]}
 parse/0:   product: {name: "1", value: 0, type: 2-10, properties: ["1": "address":"channel"]}
-parse/0: instruction: 112
+parse/0: instruction: channel-empty?
 parse/0:   ingredient: {name: "1", value: 0, type: 2-10, properties: ["1": "address":"channel"]}
 parse/0:   product: {name: "2", value: 0, type: 1, properties: ["2": "integer"]}
-parse/0: instruction: 110
+parse/0: instruction: channel-full?
 parse/0:   ingredient: {name: "1", value: 0, type: 2-10, properties: ["1": "address":"channel"]}
 parse/0:   product: {name: "3", value: 0, type: 1, properties: ["3": "integer"]}
 after-brace/0: recipe test-channel-write-not-empty