diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-12 23:29:59 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-12 23:33:49 -0700 |
commit | 43d2d20e55c052c5844a38d0d87526f68c7e2217 (patch) | |
tree | 9c85c2b09adbd9f40836649875310c5b23a3ceb6 /cpp/035scenario_trace_test.mu | |
parent | d03028a3035fc514a694a89dcec9429625c9217c (diff) | |
download | mu-43d2d20e55c052c5844a38d0d87526f68c7e2217.tar.gz |
1058 - scenarios can now check trace
Diffstat (limited to 'cpp/035scenario_trace_test.mu')
-rw-r--r-- | cpp/035scenario_trace_test.mu | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/cpp/035scenario_trace_test.mu b/cpp/035scenario_trace_test.mu new file mode 100644 index 00000000..abf0ef9a --- /dev/null +++ b/cpp/035scenario_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 + ] +] |