about summary refs log tree commit diff stats
path: root/cpp/.traces/check_trace_negative
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-02 15:52:22 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-02 22:56:13 -0700
commit22b3069272c1a177e814a7c4e769e20858e2b368 (patch)
tree761199b26823fe5ba11af66108e95ece1bc4f02c /cpp/.traces/check_trace_negative
parenta316f1e4168a98ba8c1bbe7b091f8a7e7b3f03e6 (diff)
downloadmu-22b3069272c1a177e814a7c4e769e20858e2b368.tar.gz
1242 - simpler implementation for 'scenario'
Also now has the side effect that scenarios can have any number of 'run'
or check or any future blocks, in any order.
Diffstat (limited to 'cpp/.traces/check_trace_negative')
-rw-r--r--cpp/.traces/check_trace_negative41
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"]}