diff --git a/src/plugins/wp/tests/wp/sharing.c.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/sharing.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/sharing.c.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/sharing.c.0.report.json diff --git a/src/plugins/wp/tests/wp/stmtcompiler_test.i.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/stmtcompiler_test.i.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test.i.0.report.json diff --git a/src/plugins/wp/tests/wp/stmtcompiler_test_rela.i.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test_rela.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/stmtcompiler_test_rela.i.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test_rela.i.0.report.json diff --git a/src/plugins/wp/tests/wp/wp_behav.c.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/wp_behav.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/wp_behav.c.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/wp_behav.c.0.report.json diff --git a/src/plugins/wp/tests/wp/wp_behav.c.1.report.json b/src/plugins/wp/tests/wp/oracle_qualif/wp_behav.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp/wp_behav.c.1.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/wp_behav.c.1.report.json diff --git a/src/plugins/wp/tests/wp/wp_call_pre.c.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/wp_call_pre.c.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.c.0.report.json diff --git a/src/plugins/wp/tests/wp/wp_eqb.i.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/wp_eqb.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/wp_eqb.i.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/wp_eqb.i.0.report.json diff --git a/src/plugins/wp/tests/wp/wp_strategy.c.0.report.json b/src/plugins/wp/tests/wp/oracle_qualif/wp_strategy.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp/wp_strategy.c.0.report.json rename to src/plugins/wp/tests/wp/oracle_qualif/wp_strategy.c.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/arith.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/arith.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/arith.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/arith.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/arith.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/arith.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/arith.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/arith.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/assign_array.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/assign_array.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/assign_array.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/assign_array.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/assigns_path.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_path.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/assigns_path.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_path.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/assigns_range.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_range.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/assigns_range.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_range.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/assigns_range.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_range.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/assigns_range.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/assigns_range.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/axioms.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/axioms.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/axioms.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/base_offset.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/base_offset.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/base_offset.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/base_offset.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/bitwise.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/bitwise.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/bitwise.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/bitwise2.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/bitwise2.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/bitwise2.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/bitwise2.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/block_length.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/block_length.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/block_length.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/block_length.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/classify_float.c.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/classify_float.c.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/classify_float.c.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/classify_float.c.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/classify_float.c.2.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/classify_float.c.2.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/classify_float.c.2.report.json diff --git a/src/plugins/wp/tests/wp_acsl/cnf.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/cnf.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/cnf.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/ctor.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/ctor.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/ctor.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/ctor.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/div_mod.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/div_mod.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/div_mod.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/div_mod.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/div_mod.i.2.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/div_mod.i.2.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/div_mod.i.2.report.json diff --git a/src/plugins/wp/tests/wp_acsl/e_imply.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/e_imply.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/e_imply.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/e_imply.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/equal.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/equal.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/equal.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/equal.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/float_compare.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/float_compare.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/float_compare.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/float_compare.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/funvar_inv.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/funvar_inv.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/funvar_inv.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/funvar_inv.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/implicit_enum_cast.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/implicit_enum_cast.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/implicit_enum_cast.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/implicit_enum_cast.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/init_label.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_label.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/init_label.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/init_label.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/init_value.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/init_value.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/init_value.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/init_value.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/init_value_mem.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/init_value_mem.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/init_value_mem.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/intbool.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/intbool.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/intbool.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/intbool.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/label_escape.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/label_escape.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/label_escape.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/label_escape.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/label_escape.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/label_escape.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/label_escape.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/label_escape.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/logic.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/logic.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/looplabels.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/looplabels.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/looplabels.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/looplabels.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/null.c.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/null.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/null.c.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/null.c.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/pointer.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/pointer.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/pointer.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/pointer.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/pointer.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/pointer.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/pointer.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/pointer.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/post_result.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/post_result.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/post_result.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/post_result.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/precedence.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/precedence.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/precedence.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/precedence.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/precedence.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/precedence.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/precedence.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/precedence.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/range.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/range.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/range.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/range.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/reads.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/reads.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/reads.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/reads.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/reads.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/reads.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/reads.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/reads.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/record.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/record.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/record.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/record.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/record.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/record.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/record.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/record.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/simpl_is_type.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/simpl_is_type.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/sizeof.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/sizeof.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/sizeof.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/sizeof.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/struct_use_case.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/struct_use_case.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/struct_use_case.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/struct_use_case.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/struct_use_case.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/struct_use_case.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/struct_use_case.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/struct_use_case.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/tset.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/tset.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/tset.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/tset.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/type_guard.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/type_guard.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/type_guard.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/type_guard.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/type_guard.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/type_guard.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/type_guard.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/type_guard.i.1.report.json diff --git a/src/plugins/wp/tests/wp_acsl/unit_bit_test.c.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/unit_bit_test.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/unit_bit_test.c.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/unit_bit_test.c.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/unit_bool.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/unit_bool.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/unit_bool.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/unit_bool.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/user_def_type_guard.i.0.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/user_def_type_guard.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/user_def_type_guard.i.0.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/user_def_type_guard.i.0.report.json diff --git a/src/plugins/wp/tests/wp_acsl/user_def_type_guard.i.1.report.json b/src/plugins/wp/tests/wp_acsl/oracle_qualif/user_def_type_guard.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_acsl/user_def_type_guard.i.1.report.json rename to src/plugins/wp/tests/wp_acsl/oracle_qualif/user_def_type_guard.i.1.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts0708.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts0708.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts0708.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts0708.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts0843.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts0843.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts0843.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts0843.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts779.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts779.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts788.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts788.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts788.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts788.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts986.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts986.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts986.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts986.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1174.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1174.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1174.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1174.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1176.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1176.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1176.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1176.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1360.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1360.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1360.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1360.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1462.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1462.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1462.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1462.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1586.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1586.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1586.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1586.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1588.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1588.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1588.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1588.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1601.c.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1601.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1601.c.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1601.c.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1828.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1828.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1828.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1828.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_1828.i.1.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1828.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_1828.i.1.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1828.i.1.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_2040.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2040.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_2040.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2040.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_2079.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2079.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_2079.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2079.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/bts_2159.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2159.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/bts_2159.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2159.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/ergo_typecheck.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/ergo_typecheck.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/ergo_typecheck.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/ergo_typecheck.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue-364.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue-364.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue-364.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue-364.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_143.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_143.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_143.i.1.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_143.i.1.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.1.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_143.i.2.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_143.i.2.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.2.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_143.i.3.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.3.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_143.i.3.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.i.3.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_198.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_198.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_198.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_198.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_447.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_447.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_447.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_447.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_453.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_453.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_453.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_453.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_494.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_494.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_494.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_494.i.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/issue_508.c.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/issue_508.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/issue_508.c.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/issue_508.c.0.report.json diff --git a/src/plugins/wp/tests/wp_bts/nupw-bcl-bts1120.i.0.report.json b/src/plugins/wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_bts/nupw-bcl-bts1120.i.0.report.json rename to src/plugins/wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.i.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/binary-multiplication-without-overflow.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/binary-multiplication-without-overflow.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/binary-multiplication.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/binary-multiplication.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_exo1_solved.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_exo1_solved.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_exo2_solved.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_exo2_solved.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.old.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.old.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.old.v2.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.old.v2.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.simplified.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_exo3_solved.simplified.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.simplified.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/frama_c_hashtbl_solved.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/frama_c_hashtbl_solved.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.c.0.report.json diff --git a/src/plugins/wp/tests/wp_gallery/loop-statement.c.0.report.json b/src/plugins/wp/tests/wp_gallery/oracle_qualif/loop-statement.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_gallery/loop-statement.c.0.report.json rename to src/plugins/wp/tests/wp_gallery/oracle_qualif/loop-statement.c.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/byref.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/byref.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/byref.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/byref.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/byref.i.1.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/byref.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/byref.i.1.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/byref.i.1.report.json diff --git a/src/plugins/wp/tests/wp_hoare/dispatch_var.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/dispatch_var.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/dispatch_var2.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var2.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/dispatch_var2.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var2.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/dispatch_var2.i.1.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var2.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/dispatch_var2.i.1.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/dispatch_var2.i.1.report.json diff --git a/src/plugins/wp/tests/wp_hoare/isHoare.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/isHoare.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/isHoare.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/isHoare.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/logicarr.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/logicarr.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/logicarr.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/logicref.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicref.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/logicref.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/logicref.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/logicref_simple.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/logicref_simple.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/logicref_simple.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/logicref_simple.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/reference.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/reference.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/reference.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/reference.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/reference_and_struct.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_and_struct.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/reference_and_struct.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_and_struct.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/reference_array.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_array.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/reference_array.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_array.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/reference_array_simple.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_array_simple.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/reference_array_simple.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/reference_array_simple.i.0.report.json diff --git a/src/plugins/wp/tests/wp_hoare/refguards.i.0.report.json b/src/plugins/wp/tests/wp_hoare/oracle_qualif/refguards.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_hoare/refguards.i.0.report.json rename to src/plugins/wp/tests/wp_hoare/oracle_qualif/refguards.i.0.report.json diff --git a/src/plugins/wp/tests/wp_manual/manual.i.0.report.json b/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_manual/manual.i.0.report.json rename to src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.0.report.json diff --git a/src/plugins/wp/tests/wp_manual/manual.i.1.report.json b/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_manual/manual.i.1.report.json rename to src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.1.report.json diff --git a/src/plugins/wp/tests/wp_manual/manual.i.2.report.json b/src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_manual/manual.i.2.report.json rename to src/plugins/wp/tests/wp_manual/oracle_qualif/manual.i.2.report.json diff --git a/src/plugins/wp/tests/wp_plugin/abs.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/abs.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/abs.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/abs.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/abs.i.2.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/abs.i.2.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/abs.i.2.report.json diff --git a/src/plugins/wp/tests/wp_plugin/asm.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/asm.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/asm.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/asm.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/bool.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bool.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/bool.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/bool.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/bool.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/bool.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/bool.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/bool.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/copy.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/copy.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/copy.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/copy.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/dynamic.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/dynamic.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/dynamic.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/dynamic.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/flash.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/flash.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/flash.c.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/flash.c.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/flash.c.2.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/flash.c.2.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/flash.c.2.report.json diff --git a/src/plugins/wp/tests/wp_plugin/float_format.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/float_format.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/float_format.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/float_format.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/float_format.i.2.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/float_format.i.2.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/float_format.i.2.report.json diff --git a/src/plugins/wp/tests/wp_plugin/float_real.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/float_real.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/float_real.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/float_real.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/float_real.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/float_real.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/float_real.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/float_real.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/frame.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/frame.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/frame.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/frame.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/ground_real.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/ground_real.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/ground_real.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/ground_real.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/inductive.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/inductive.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/inductive.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/inductive.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/init_const.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/init_const.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/init_const.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/init_const.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/init_const_guard.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/init_const_guard.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/init_const_guard.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/init_const_guard.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/init_extern.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/init_extern.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/init_extern.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/init_extern.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/init_valid.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/init_valid.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/init_valid.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/init_valid.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/initarr.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/initarr.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/initarr.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/initarr.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/injector.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/injector.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/injector.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/injector.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/injector.c.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/injector.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/injector.c.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/injector.c.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/loop.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/loop.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/loop.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/loop.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/loopcurrent.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/loopcurrent.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/loopcurrent.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/loopcurrent.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/loopentry.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/loopentry.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/loopentry.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/loopentry.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/loopextra.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/loopextra.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/loopextra.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/loopextra.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/mask.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/mask.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/mask.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/mask.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/nth.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/nth.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/nth.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/nth.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/nth.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/overarray.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/overarray.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/overarray.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/overarray.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/overassign.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/overassign.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/overassign.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/overassign.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/params.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/params.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/params.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/params.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/plet.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/plet.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/plet.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/plet.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/polarity.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/polarity.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/polarity.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/polarity.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/prenex.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/prenex.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/prenex.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/prenex.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/repeat.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/repeat.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/repeat.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/repeat.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/rte.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/rte.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/rte.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/sequence.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/sequence.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/sequence.i.1.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/sequence.i.1.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.1.report.json diff --git a/src/plugins/wp/tests/wp_plugin/sequence.i.2.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.2.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/sequence.i.2.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/sequence.i.2.report.json diff --git a/src/plugins/wp/tests/wp_plugin/stmt.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/stmt.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/struct.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/struct.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/struct.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/struct.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/struct_hack.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/struct_hack.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/struct_hack.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/struct_hack.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/subset.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/subset.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/subset.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/subset.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/subset_fopen.c.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/subset_fopen.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/subset_fopen.c.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/subset_fopen.c.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/trig.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/trig.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/trig.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/trig.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/unsafe-arrays.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/unsafe-arrays.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/unsafe-arrays.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/unsafe-arrays.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/unsigned.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/unsigned.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.i.0.report.json diff --git a/src/plugins/wp/tests/wp_plugin/unsupported_init.i.0.report.json b/src/plugins/wp/tests/wp_plugin/oracle_qualif/unsupported_init.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_plugin/unsupported_init.i.0.report.json rename to src/plugins/wp/tests/wp_plugin/oracle_qualif/unsupported_init.i.0.report.json diff --git a/src/plugins/wp/tests/wp_store/array.i.0.report.json b/src/plugins/wp/tests/wp_store/oracle_qualif/array.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_store/array.i.0.report.json rename to src/plugins/wp/tests/wp_store/oracle_qualif/array.i.0.report.json diff --git a/src/plugins/wp/tests/wp_store/natural.i.0.report.json b/src/plugins/wp/tests/wp_store/oracle_qualif/natural.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_store/natural.i.0.report.json rename to src/plugins/wp/tests/wp_store/oracle_qualif/natural.i.0.report.json diff --git a/src/plugins/wp/tests/wp_store/nonaliasing.i.0.report.json b/src/plugins/wp/tests/wp_store/oracle_qualif/nonaliasing.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_store/nonaliasing.i.0.report.json rename to src/plugins/wp/tests/wp_store/oracle_qualif/nonaliasing.i.0.report.json diff --git a/src/plugins/wp/tests/wp_store/nonaliasing.i.1.report.json b/src/plugins/wp/tests/wp_store/oracle_qualif/nonaliasing.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_store/nonaliasing.i.1.report.json rename to src/plugins/wp/tests/wp_store/oracle_qualif/nonaliasing.i.1.report.json diff --git a/src/plugins/wp/tests/wp_store/struct.i.0.report.json b/src/plugins/wp/tests/wp_store/oracle_qualif/struct.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_store/struct.i.0.report.json rename to src/plugins/wp/tests/wp_store/oracle_qualif/struct.i.0.report.json diff --git a/src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i.0.report.json b/src/plugins/wp/tests/wp_tip/oracle_qualif/tac_split_quantifiers.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i.0.report.json rename to src/plugins/wp/tests/wp_tip/oracle_qualif/tac_split_quantifiers.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/array_initialized.c.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/array_initialized.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/array_initialized.c.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/array_initialized.c.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/array_initialized.c.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/array_initialized.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/array_initialized.c.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/array_initialized.c.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/avar.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/avar.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/avar.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/avar.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/shift_lemma.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/shift_lemma.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/shift_lemma.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/shift_lemma.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/struct_array_type.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/struct_array_type.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/struct_array_type.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/struct_array_type.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_alloc.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_alloc.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_alloc.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_alloc.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_alloc.i.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_alloc.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_alloc.i.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_alloc.i.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_bitwise.c.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_bitwise.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_bitwise.c.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_bitwise.c.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_bitwise.c.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_bitwise.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_bitwise.c.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_bitwise.c.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_call.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_call.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_call.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_call.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_cast.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_cast.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_cast.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_cast.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_cst.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_cst.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_cst.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_cst.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_float.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_float.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_float.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_float.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_hard.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_hard.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_hard.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_hard.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_ite.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_ite.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_ite.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_ite.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_labels.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_labels.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_labels.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_labels.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_lemma.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_lemma.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_lemma.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_lemma.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_local.c.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_local.c.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_local.c.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_local.c.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_local.c.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_local.c.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_local.c.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_local.c.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_loopscope.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_loopscope.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_loopscope.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_loopscope.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_loopscope.i.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_loopscope.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_loopscope.i.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_loopscope.i.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_matrix.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_matrix.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_matrix.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_matrix.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_string.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_string.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_string.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_string.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/unit_tset.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/unit_tset.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/unit_tset.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/unit_tset.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_bitwise.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_bitwise.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_bitwise.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_bitwise.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_bitwise.i.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_bitwise.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_bitwise.i.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_bitwise.i.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_collect.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_collect.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_collect.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_collect.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_init.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_init.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_injector.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_injector.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_injector.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_injector.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_injector.i.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_injector.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_injector.i.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_injector.i.1.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_rec.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_rec.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_rec.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_rec.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_string.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_string.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_string.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_string.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_swap.i.0.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_swap.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_swap.i.0.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_swap.i.0.report.json diff --git a/src/plugins/wp/tests/wp_typed/user_swap.i.1.report.json b/src/plugins/wp/tests/wp_typed/oracle_qualif/user_swap.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_typed/user_swap.i.1.report.json rename to src/plugins/wp/tests/wp_typed/oracle_qualif/user_swap.i.1.report.json diff --git a/src/plugins/wp/tests/wp_usage/caveat2.i.0.report.json b/src/plugins/wp/tests/wp_usage/oracle_qualif/caveat2.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_usage/caveat2.i.0.report.json rename to src/plugins/wp/tests/wp_usage/oracle_qualif/caveat2.i.0.report.json diff --git a/src/plugins/wp/tests/wp_usage/caveat_range.i.0.report.json b/src/plugins/wp/tests/wp_usage/oracle_qualif/caveat_range.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_usage/caveat_range.i.0.report.json rename to src/plugins/wp/tests/wp_usage/oracle_qualif/caveat_range.i.0.report.json diff --git a/src/plugins/wp/tests/wp_usage/issue-189-bis.i.0.report.json b/src/plugins/wp/tests/wp_usage/oracle_qualif/issue-189-bis.i.0.report.json similarity index 100% rename from src/plugins/wp/tests/wp_usage/issue-189-bis.i.0.report.json rename to src/plugins/wp/tests/wp_usage/oracle_qualif/issue-189-bis.i.0.report.json diff --git a/src/plugins/wp/tests/wp_usage/issue-189-bis.i.1.report.json b/src/plugins/wp/tests/wp_usage/oracle_qualif/issue-189-bis.i.1.report.json similarity index 100% rename from src/plugins/wp/tests/wp_usage/issue-189-bis.i.1.report.json rename to src/plugins/wp/tests/wp_usage/oracle_qualif/issue-189-bis.i.1.report.json