1 files changed, 41 insertions, 0 deletions
diff --git a/cpp/.traces/check_trace_negative b/cpp/.traces/check_trace_negative
new file mode 100644
index 00000000..c9289d57
--- /dev/null
+++ b/cpp/.traces/check_trace_negative
@@ -0,0 +1,41 @@
+parse/0: instruction: run
+parse/0:   ingredient: {name: "
+    1:integer <- add 2:literal, 2:literal
+  ", value: 0, type: 0, properties: ["
+    1:integer <- add 2:literal, 2:literal
+  ": "literal-string"]}
+parse/0: instruction: trace-should-not-contain
+parse/0:   ingredient: {name: "
+    mem: storing 5 in location 1
+  ", value: 0, type: 0, properties: ["
+    mem: storing 5 in location 1
+  ": "literal-string"]}
+after-brace/0: recipe check_trace_negative
+after-brace/0: run ...
+after-brace/0: trace-should-not-contain ...
+new/0: routine allocated memory from 1000 to 101000
+schedule/0: check_trace_negative
+run/0: instruction check_trace_negative/0
+run/0: run {name: "
+    1:integer <- add 2:literal, 2:literal
+  ", value: 0, type: 0, properties: ["
+    1:integer <- add 2:literal, 2:literal
+  ": "literal-string"]}
+parse/0: instruction: add
+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 tmp0
+after-brace/0: add ...
+run/0: instruction tmp0/0
+run/0: {name: "1", value: 1, type: 1, properties: ["1": "integer"]} <- add {name: "2", value: 2, type: 0, properties: ["2": "literal"]}, {name: "2", value: 2, type: 0, properties: ["2": "literal"]}
+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
+run/0: instruction check_trace_negative/1
+run/0: trace-should-not-contain {name: "
+    mem: storing 5 in location 1
+  ", value: 0, type: 0, properties: ["
+    mem: storing 5 in location 1
+  ": "literal-string"]}