src/plugins/wp/.gitignore

src/plugins/wp/tests/test_config

src/plugins/wp/tests/test_config_qualif

src/plugins/wp/tests/wp/stmtcompiler_test_rela.i

src/plugins/wp/tests/wp/wp_strategy.c

src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.res.oracle

...ugins/wp/tests/wp_acsl/oracle_qualif/pointer.0.res.oracle

...ugins/wp/tests/wp_acsl/oracle_qualif/pointer.1.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/precedence.0.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/precedence.1.res.oracle

src/plugins/wp/tests/wp_bts/issue_143.i

src/plugins/wp/tests/wp_plugin/config.i

src/plugins/wp/tests/wp_plugin/convert.i

src/plugins/wp/tests/wp_plugin/doomed_report_ko.i

src/plugins/wp/tests/wp_plugin/doomed_report_ok.i

src/plugins/wp/tests/wp_plugin/math.i

src/plugins/wp/tests/wp_plugin/no_step_limit.i

src/plugins/wp/tests/wp_plugin/nosession.i

...ugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle

...lugins/wp/tests/wp_plugin/oracle_qualif/repeat.res.oracle