src/plugins/aorai/tests/ya/metavariables-incompatible.i

src/plugins/aorai/tests/ya/metavariables-wrong.i

src/plugins/aorai/tests/ya/singleassignment-wrong.i

src/plugins/report/tests/report/classify.c

src/plugins/server/tests/batch/ast_services.i

src/plugins/server/tests/batch/wrong.i

src/plugins/variadic/tests/erroneous/no-param.i

src/plugins/variadic/tests/erroneous/not-enough-par.i

src/plugins/variadic/tests/erroneous/variadic-builtin.i

src/plugins/wp/tests/wp_plugin/unsafe-arrays.i

src/plugins/wp/tests/wp_usage/issue-189.i

tests/builtins/watch.c

tests/cil/acsl-comments.i

tests/cil/bts892.i

tests/cil/ghost_cfg.c

tests/metrics/locals_size.i

tests/misc/bts0451.i

tests/misc/bts0990_link.i

tests/misc/custom_machdep.c

tests/misc/debug_category.i