Commit | Line | Data |
---|---|---|
5a8b5950 CB |
1 | /* CTF 1.8 */ |
2 | ||
3 | typealias integer { size = 32; align = 8; signed = false; } := uint32_t; | |
4 | typealias integer { size = 8; align = 8; signed = false; } := uint8_t; | |
5 | ||
6 | /* FAIL: out of range */ | |
7 | enum dummy : uint8_t { | |
8 | x = 1024 | |
9 | }; | |
10 | trace { | |
11 | major = 2; | |
12 | minor = 1; | |
13 | byte_order = le; | |
14 | packet.header := struct { | |
15 | uint32_t magic; | |
16 | }; | |
17 | }; | |
18 | ||
19 |