[Tests] finalize the merge about the tests.

Makefile

src/plugins/server/tests/batch/test_config

...ic/tests/defined/oracle/maintain-formals-order.res.oracle

...riadic/tests/erroneous/oracle/variadic-builtin.res.oracle

...variadic/tests/known/oracle/printf_garbled_mix.res.oracle

...variadic/tests/known/oracle/printf_wrong_types.res.oracle

src/plugins/variadic/tests/ptests_config

src/plugins/wp/tests/ptests_config

src/plugins/wp/tests/test_config

src/plugins/wp/tests/wp/oracle/bad_cast_call.res.oracle

src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/assigns_path.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/funvar_inv.0.res.oracle

...ins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle

...wp/tests/wp_acsl/oracle/initialized_local_init.res.oracle

...s/wp/tests/wp_acsl/oracle/initialized_memtyped.res.oracle

...p/tests/wp_acsl/oracle/initialized_shift_array.res.oracle

...lugins/wp/tests/wp_acsl/oracle/invalid_pointer.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/null.res.oracle