Checksum: cb77d442b824336a0cb0e4378612977101fe5cfaa980e3885e03b4e911468aa8 (page 1)

• frama-c/20140301+neon+dfsg-3/tests/syntax/enum2.c
• frama-c/20161101+silicon+dfsg-5/tests/syntax/enum2.c
• frama-c/20171101+sulfur+dfsg-2/tests/syntax/enum2.c
• frama-c/20201209+titanium-4.1/tests/syntax/enum2.c
• frama-c/20220511-manganese-3/tests/syntax/enum2.c
• frama-c/20220511-manganese-5/tests/syntax/enum2.c