blob: 5064f8a5b866d3de6c8b0e7c482b86eb819903f1 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
# tests for 'scenario' in previous layer
scenario first_scenario_in_mu [
run [
1:integer <- add 2:literal, 2:literal
]
memory-should-contain [
1 <- 4
]
]
scenario scenario_with_comment_in_mu [
run [
# comment
1:integer <- add 2:literal, 2:literal
]
memory-should-contain [
1 <- 4
]
]
scenario scenario_with_multiple_comments_in_mu [
run [
# comment1
# comment2
1:integer <- add 2:literal, 2:literal
]
memory-should-contain [
1 <- 4
]
]
scenario check_string_in_memory [
run [
1:integer <- copy 3:literal
2:character <- copy 97:literal # 'a'
3:character <- copy 98:literal # 'b'
4:character <- copy 99:literal # 'c'
]
memory-should-contain [
1:string <- [abc]
]
]
scenario check_trace [
run [
1:integer <- add 2:literal, 2:literal
]
trace-should-contain [
mem: storing 4 in location 1
]
]
scenario check_trace_negative [
run [
1:integer <- add 2:literal, 2:literal
]
trace-should-not-contain [
mem: storing 5 in location 1
]
]
scenario check_trace_instruction [
run [
trace [foo], [aaa]
]
trace-should-contain [
foo: aaa
]
]
|