-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrun_v1model_petr4.expected
189 lines (144 loc) · 9.52 KB
/
run_v1model_petr4.expected
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
Cannot find file for ../../../testdata/petr4/stf/dynamic.stf in ../../../testdata/petr4/program/well-typed
Cannot find file for ../../../testdata/petr4/stf/error.stf in ../../../testdata/petr4/program/well-typed
Cannot find file for ../../../testdata/petr4/stf/issue393-2.stf in ../../../testdata/petr4/program/well-typed
Cannot find file for ../../../testdata/petr4/stf/issue396-1.stf in ../../../testdata/petr4/program/well-typed
Cannot find file for ../../../testdata/petr4/stf/subparser.stf in ../../../testdata/petr4/program/well-typed
Running run tests on 43 files
>>> Running run test on ../../../testdata/petr4/program/well-typed/bitstring_slices.p4 with ../../../testdata/petr4/stf/bitstring_slices.stf
[PASS] Expected: 0 2B0A6A1A0100010302012A3F00 / Got: 0 2B0A6A1A0100010302012A3F00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/bitstrings.p4 with ../../../testdata/petr4/stf/bitstrings.stf
[PASS] Expected: 0 01010101010101012A2A2A2A2A00 / Got: 0 01010101010101012A2A2A2A2A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/bitstrings2.p4 with ../../../testdata/petr4/stf/bitstrings2.stf
[PASS] Expected: 0 2A2AD52A2A2A2A2AFF002A2A0100 / Got: 0 2A2AD52A2A2A2A2AFF002A2A0100
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/bool.p4 with ../../../testdata/petr4/stf/bool.stf
[PASS] Expected: 0 010101000000010100010000 / Got: 0 010101000000010100010000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/bool2.p4 with ../../../testdata/petr4/stf/bool2.stf
[PASS] Expected: 0 010001000000010101000000 / Got: 0 010001000000010101000000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/casts.p4 with ../../../testdata/petr4/stf/casts.stf
[PASS] Expected: 0 010F0F04FFFFF800000005000000050000000500000005000000060000000600 / Got: 0 010F0F04FFFFF800000005000000050000000500000005000000060000000600
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/counter.p4 with ../../../testdata/petr4/stf/counter.stf
[PASS] Expected: 0 00 / Got: 0 00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/equality.p4 with ../../../testdata/petr4/stf/equality.stf
[FAIL] Expected: 9 000001010101010100 / Got: 0 3000001013330101010100
Error on stf test
>>> Running run test on ../../../testdata/petr4/program/well-typed/error2.p4 with ../../../testdata/petr4/stf/error2.stf
[PASS] Expected: 1 0000 / Got: 1 0000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/exit.p4 with ../../../testdata/petr4/stf/exit.stf
[PASS] Expected: 0 48656C6C6F2C20576F726C6421 / Got: 0 48656C6C6F2C20576F726C6421
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/extraction.p4 with ../../../testdata/petr4/stf/extraction.stf
[PASS] Expected: 0 4848656C6C6F2C20576F726C6421 / Got: 0 4848656C6C6F2C20576F726C6421
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/function_scoping.p4 with ../../../testdata/petr4/stf/function_scoping.stf
[PASS] Expected: 0 2A00 / Got: 0 2A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/hash_identity.p4 with ../../../testdata/petr4/stf/hash_identity.stf
[PASS] Expected: 0 0123456789ABCDEF0123456789ABCD0000000000 / Got: 0 0123456789ABCDEF0123456789ABCD0000000000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/header-test.p4 with ../../../testdata/petr4/stf/header-test.stf
[PASS] Expected: 0 01010000010001020300 / Got: 0 01010000010001020300
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/hello.p4 with ../../../testdata/petr4/stf/hello.stf
[PASS] Expected: 9 2A2A*A2A2A2A2A2*2A2A2A2A21 / Got: 9 2A2A2A2A2A2A2A2A2A2A2A2A21
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/int.p4 with ../../../testdata/petr4/stf/int.stf
[FAIL] Expected: 0 2A2A2A2A7F8000 / Got: 0 2A2A2A2A807F00
Error on stf test
>>>>> Rerunning run test on ../../../testdata/petr4/program/well-typed/int.p4 with ../../../testdata/petr4/stf-patch/int.stf
[PASS] Expected: 0 2A2A2A2A807F00 / Got: 0 2A2A2A2A807F00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/int2.p4 with ../../../testdata/petr4/stf/int2.stf
[PASS] Expected: 0 01010101010101012A2A2A2A2A00 / Got: 0 01010101010101012A2A2A2A2A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/issue235.p4 with ../../../testdata/petr4/stf/issue235.stf
[PASS] Expected: 0 00000000000000010000000000000000 / Got: 0 00000000000000010000000000000000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/issue393-1.p4 with ../../../testdata/petr4/stf/issue393-1.stf
[PASS] Expected: 0 FF / Got: 0 FF
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/masks.p4 with ../../../testdata/petr4/stf/masks.stf
[PASS] Expected: 0 010203040500 / Got: 0 010203040500
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/multiple-calls.p4 with ../../../testdata/petr4/stf/multiple-calls.stf
[PASS] Expected: 0 02 / Got: 0 02
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/named-arg-copy-out.p4 with ../../../testdata/petr4/stf/named-arg-copy-out.stf
[PASS] Expected: 0 01AABB040506 / Got: 0 01AABB040506
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/named-arg.p4 with ../../../testdata/petr4/stf/named-arg.stf
[PASS] Expected: 0 01BBAAAABB06 / Got: 0 01BBAAAABB06
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/out_params.p4 with ../../../testdata/petr4/stf/out_params.stf
[PASS] Expected: 0 0002010300 / Got: 0 0002010300
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/parser-locators-stack.p4 with ../../../testdata/petr4/stf/parser-locators-stack.stf
[PASS] Expected: 0 01 / Got: 0 01
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/parser-locators.p4 with ../../../testdata/petr4/stf/parser-locators.stf
[PASS] Expected: 0 01 / Got: 0 01
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/parsing.p4 with ../../../testdata/petr4/stf/parsing.stf
[PASS] Expected: 0 01020304050600 / Got: 0 01020304050600
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/ranges.p4 with ../../../testdata/petr4/stf/ranges.stf
[PASS] Expected: 0 01020304050600 / Got: 0 01020304050600
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/rawint.p4 with ../../../testdata/petr4/stf/rawint.stf
[PASS] Expected: 0 01010101010101012A2A2A2A2A2A2A00 / Got: 0 01010101010101012A2A2A2A2A2A2A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/register.p4 with ../../../testdata/petr4/stf/register.stf
[PASS] Expected: 0 0000000000 / Got: 0 0000000000
[PASS] Expected: 0 0000000F00 / Got: 0 0000000F00
[PASS] Expected: 0 0000001E00 / Got: 0 0000001E00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/scope.p4 with ../../../testdata/petr4/stf/scope.stf
[PASS] Expected: 0 00 / Got: 0 00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/shifts.p4 with ../../../testdata/petr4/stf/shifts.stf
[PASS] Expected: 0 01A82A00 / Got: 0 01A82A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/simple_function.p4 with ../../../testdata/petr4/stf/simple_function.stf
[PASS] Expected: 0 2A2A000000 / Got: 0 2A2A000000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/stack.p4 with ../../../testdata/petr4/stf/stack.stf
[PASS] Expected: 0 000000052A2A2A2A2A2A2A2A00 / Got: 0 000000052A2A2A2A2A2A2A2A00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/struct.p4 with ../../../testdata/petr4/stf/struct.stf
[PASS] Expected: 0 2A012A0100 / Got: 0 2A012A0100
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/subcontrol.p4 with ../../../testdata/petr4/stf/subcontrol.stf
[PASS] Expected: 0 0700 / Got: 0 0700
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/switch-stmt.p4 with ../../../testdata/petr4/stf/switch-stmt.stf
[PASS] Expected: 1 020200 / Got: 1 020200
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/table.p4 with ../../../testdata/petr4/stf/table.stf
[PASS] Expected: 0 00 / Got: 0 00
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/table2.p4 with ../../../testdata/petr4/stf/table2.stf
[FAIL] Expected: 1 0600 / Got: 6 0600
Error on stf test
>>> Running run test on ../../../testdata/petr4/program/well-typed/table3.p4 with ../../../testdata/petr4/stf/table3.stf
[FAIL] Expected: 0 0400 / Got: 339 0400
Error on stf test
>>> Running run test on ../../../testdata/petr4/program/well-typed/union.p4 with ../../../testdata/petr4/stf/union.stf
[PASS] Expected: 0 2A0100002A0001002A00012A01000000000000 / Got: 0 2A0100002A0001002A00012A01000000000000
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/uop.p4 with ../../../testdata/petr4/stf/uop.stf
[PASS] Expected: 0 0A0BFB0100 / Got: 0 0A0BFB0100
Run success
>>> Running run test on ../../../testdata/petr4/program/well-typed/zero.p4 with ../../../testdata/petr4/stf/zero.stf
[PASS] Expected: 9 00 / Got: 9 00
Run success
Parser on file: [PASS] 43/43 (100.00%) [FAIL] 0/43 (0.00%)
Typecheck: [PASS] 43/43 (100.00%) [FAIL] 0/43 (0.00%)
Instantiate: [PASS] 43/43 (100.00%) [FAIL] 0/43 (0.00%)
Run: [PASS] 40/43 (93.02%) [FAIL] 3/43 (6.98%)