src/plugins/wp/tests/wp/oracle_qualif/wp_call_pre.res.oracle

...plugins/wp/tests/wp_acsl/oracle_qualif/arith.0.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/assigns_path.res.oracle

...wp/tests/wp_acsl/oracle_qualif/assigns_range.0.res.oracle

...ns/wp/tests/wp_acsl/oracle_qualif/chunk_typing.res.oracle

...gins/wp/tests/wp_acsl/oracle_qualif/looplabels.res.oracle

...ins/wp/tests/wp_acsl/oracle_qualif/postassigns.res.oracle

...s/wp/tests/wp_acsl/oracle_qualif/simpl_is_type.res.oracle

...acsl/oracle_qualif/terminates_variant_option.1.res.oracle

src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.res.oracle

...lugins/wp/tests/wp_bts/oracle_qualif/issue_751.res.oracle

..._qualif/binary-multiplication-without-overflow.res.oracle

...gins/wp/tests/wp_gallery/oracle_qualif/bsearch.res.oracle

...plugins/wp/tests/wp_gallery/oracle_qualif/find.res.oracle

...s/wp_gallery/oracle_qualif/frama_c_exo1_solved.res.oracle

...s/wp_gallery/oracle_qualif/frama_c_exo2_solved.res.oracle

..._gallery/oracle_qualif/frama_c_exo3_solved.old.res.oracle

...llery/oracle_qualif/frama_c_exo3_solved.old.v2.res.oracle

...y/oracle_qualif/frama_c_exo3_solved.simplified.res.oracle

src/plugins/wp/tests/wp_plugin/oracle_qualif/copy.res.oracle