diff options
Diffstat (limited to 'cpp/053scenario_trace_test.mu')
-rw-r--r-- | cpp/053scenario_trace_test.mu | 28 |
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 - ] -] |