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

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

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

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

...inaryMultiplication_loop_invariant_inv1_ok_preserved.json

src/plugins/wp/tests/wp_plugin/oracle/cint.3.res.oracle

src/plugins/wp/tests/wp_plugin/oracle/loop.res.oracle

...le_qualif/bitmask0x8000.0.session/script/lemma_res_n.json

...le_qualif/bitmask0x8000.0.session/script/lemma_res_y.json

...f/unroll.0.session/script/unrolled_loop_ensures_zero.json

...oracle_qualif/induction.0.session/script/lemma_ByInd.json

...e_qualif/overflow.0.session/script/lemma_j_incr_char.json

..._qualif/overflow.0.session/script/lemma_j_incr_short.json

...tip/oracle_qualif/unroll.0.session/script/lemma_LEFT.json

...ip/oracle_qualif/unroll.0.session/script/lemma_RIGHT.json

..._tip/oracle_qualif/unroll.0.session/script/lemma_SUM.json

src/plugins/wp/tests/wp_typed/oracle/cast_fits.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/cast_fits.1.res.oracle

...plugins/wp/tests/wp_typed/oracle/shift_lemma.0.res.oracle

...plugins/wp/tests/wp_typed/oracle/shift_lemma.1.res.oracle