tests/syntax

Makefile

tests/syntax/Refresh_visitor.i

tests/syntax/add_allocates.i

tests/syntax/ast_init.i

tests/syntax/char_is_unsigned.i

tests/syntax/clone_test.i

tests/syntax/enum_repr.i

tests/syntax/forloophook.i

tests/syntax/get_astinfo_bts1136.i

tests/syntax/ghost_parameters_formals_status.i

tests/syntax/inserted_casts.c

tests/syntax/logic_env.i

tests/syntax/merge_loc.i

tests/syntax/mutable_test.i

tests/syntax/oracle/cpp-command.4.res.oracle

tests/syntax/oracle/multiple_decls_contracts.0.res.oracle

tests/syntax/oracle/multiple_decls_contracts.1.res.oracle

tests/syntax/oracle/multiple_decls_contracts.2.res.oracle

tests/syntax/reorder.i

tests/syntax/syntactic_hook.i