src/plugins/wp/tests/wp_acsl/chunk_typing_usable.i

src/plugins/wp/tests/wp_acsl/chunk_typing_usable.script

src/plugins/wp/tests/wp_acsl/classify_float.c

src/plugins/wp/tests/wp_acsl/classify_float.script

...yping_usable.0.session/interactive/lemma_provable_lemma.v

...ests/wp_acsl/oracle_qualif/chunk_typing_usable.res.oracle

...p/tests/wp_acsl/oracle_qualif/classify_float.1.res.oracle

...ssify_float.1.session/interactive/lemma_InfN_not_finite.v

...ssify_float.1.session/interactive/lemma_InfP_not_finite.v

...assify_float.1.session/interactive/lemma_NaN_not_finite.v

src/plugins/wp/tests/wp_acsl/tset.i

src/plugins/wp/tests/wp_acsl/tset.s

src/plugins/wp/tests/wp_bts/bts_1174.i

src/plugins/wp/tests/wp_bts/bts_1174.s

src/plugins/wp/tests/wp_bts/bts_2471.i

...qualif/bts_1174.0.session/interactive/job_assert_qed_ok.v

...0.session/interactive/job_assert_rte_is_nan_or_infinite.v

...sion/interactive/job_assert_rte_is_nan_or_infinite.v.save

...plugins/wp/tests/wp_bts/oracle_qualif/bts_1174.res.oracle

...ugins/wp/tests/wp_bts/oracle_qualif/bts_2471.1.res.oracle