[wp] upgrade float literals wrt Why3 api
Showing
- src/plugins/wp/ProverWhy3.ml 28 additions, 24 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/tests/wp_acsl/oracle/float_const.res.oracle 8 additions, 10 deletionssrc/plugins/wp/tests/wp_acsl/oracle/float_const.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle 2 additions, 2 deletions...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle
Loading
Please register or sign in to comment