1075

1 files changed, 27 insertions, 0 deletions

diff --git a/cpp/053scenario_trace_test.mu b/cpp/053scenario_trace_test.mu
new file mode 100644
index 00000000..abf0ef9a
--- /dev/null
+++ b/cpp/053scenario_trace_test.mu
@@ -0,0 +1,27 @@
+# tests for trace-checking scenario in previous layer
+scenario first_scenario_checking_trace [
+  run [
+    1:integer <- add 2:literal, 2:literal
+  ]
+  trace should contain [
+    mem: storing 4 in location 1
+  ]
+]
+
+scenario first_scenario_checking_trace_negative [
+  run [
+    1:integer <- add 2:literal, 2:literal
+  ]
+  trace should not contain [
+    mem: storing 5 in location 1
+  ]
+]
+
+scenario trace_in_mu [
+  run [
+    trace [foo], [aaa]
+  ]
+  trace should contain [
+    foo: aaa
+  ]
+]