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

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

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

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

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

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

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

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

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

...sts/wp_acsl/oracle/terminates_variant_option.1.res.oracle

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

src/plugins/wp/tests/wp_bts/oracle/issue_751.res.oracle

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

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

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

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

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

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

src/plugins/wp/tests/wp_tip/oracle/modmask.0.res.oracle

...le/modmask.0.session/script/check_lemma_and_modulo_u.json