diff options
Diffstat (limited to 'cpp/044scenario_trace_test.mu')
-rw-r--r-- | cpp/044scenario_trace_test.mu | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/cpp/044scenario_trace_test.mu b/cpp/044scenario_trace_test.mu new file mode 100644 index 00000000..abf0ef9a --- /dev/null +++ b/cpp/044scenario_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 + ] +] |