about summary refs log tree commit diff stats
path: root/cpp/053scenario_trace_test.mu
diff options
context:
space:
mode:
Diffstat (limited to 'cpp/053scenario_trace_test.mu')
-rw-r--r--cpp/053scenario_trace_test.mu28
1 files changed, 0 insertions, 28 deletions
diff --git a/cpp/053scenario_trace_test.mu b/cpp/053scenario_trace_test.mu
deleted file mode 100644
index 8016bbfb..00000000
--- a/cpp/053scenario_trace_test.mu
+++ /dev/null
@@ -1,28 +0,0 @@
-# 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
-  ]
-]