blob: 8016bbfba1b5f61cdf5c454017d84d8431947516 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# 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
]
]
|