tests/syntax (cont.)

tests/syntax/anon_enum_libc.c

tests/syntax/bts0323.c

tests/syntax/bts0442-2.i

tests/syntax/bts0442.i

tests/syntax/bts0672_link.c

tests/syntax/bts1553_2.i

tests/syntax/copy_visitor_bts_1073.c

tests/syntax/enum1.c

tests/syntax/inconsistent_decl.c

tests/syntax/logic_env.i

tests/syntax/merge_attrs_align.c

tests/syntax/merge_bts0948.i

tests/syntax/multiple_decls_contracts.c

tests/syntax/typedef_multi_1.c

tests/syntax/vdefined_bts1241.i