3 files changed, 29 insertions, 0 deletions
diff --git a/cpp/.traces/first_scenario_checking_trace b/cpp/.traces/first_scenario_checking_trace
new file mode 100644
index 00000000..8ea5d60b
--- /dev/null
+++ b/cpp/.traces/first_scenario_checking_trace
@@ -0,0 +1,11 @@
+parse/0: instruction: 2
+parse/0:   ingredient: {name: "2", value: 0, type: 0, properties: ["2": "literal"]}
+parse/0:   ingredient: {name: "2", value: 0, type: 0, properties: ["2": "literal"]}
+parse/0:   product: {name: "1", value: 0, type: 1, properties: ["1": "integer"]}
+after-brace/0: recipe test-first_scenario_checking_trace
+after-brace/0: add ...
+run/0: instruction test-first_scenario_checking_trace/0
+run/0: ingredient 0 is 2
+run/0: ingredient 1 is 2
+run/0: product 0 is 4
+mem/0: storing 4 in location 1
diff --git a/cpp/.traces/first_scenario_checking_trace_negative b/cpp/.traces/first_scenario_checking_trace_negative
new file mode 100644
index 00000000..e80d680f
--- /dev/null
+++ b/cpp/.traces/first_scenario_checking_trace_negative
@@ -0,0 +1,11 @@
+parse/0: instruction: 2
+parse/0:   ingredient: {name: "2", value: 0, type: 0, properties: ["2": "literal"]}
+parse/0:   ingredient: {name: "2", value: 0, type: 0, properties: ["2": "literal"]}
+parse/0:   product: {name: "1", value: 0, type: 1, properties: ["1": "integer"]}
+after-brace/0: recipe test-first_scenario_checking_trace_negative
+after-brace/0: add ...
+run/0: instruction test-first_scenario_checking_trace_negative/0
+run/0: ingredient 0 is 2
+run/0: ingredient 1 is 2
+run/0: product 0 is 4
+mem/0: storing 4 in location 1
diff --git a/cpp/.traces/trace_in_mu b/cpp/.traces/trace_in_mu
new file mode 100644
index 00000000..dc7d8d8a
--- /dev/null
+++ b/cpp/.traces/trace_in_mu
@@ -0,0 +1,7 @@
+parse/0: instruction: 32
+parse/0:   ingredient: {name: "foo", value: 0, type: 0, properties: ["foo": "literal-string"]}
+parse/0:   ingredient: {name: "aaa", value: 0, type: 0, properties: ["aaa": "literal-string"]}
+after-brace/0: recipe test-trace_in_mu
+after-brace/0: trace ...
+run/0: instruction test-trace_in_mu/0
+foo/0: aaa