[wp] vset: add case on equality of set (+polar.)
Showing
- src/plugins/wp/LogicSemantics.ml 1 addition, 1 deletionsrc/plugins/wp/LogicSemantics.ml
- src/plugins/wp/Vset.ml 5 additions, 2 deletionssrc/plugins/wp/Vset.ml
- src/plugins/wp/Vset.mli 1 addition, 1 deletionsrc/plugins/wp/Vset.mli
- src/plugins/wp/share/why3/frama_c_wp/vset.mlw 0 additions, 2 deletionssrc/plugins/wp/share/why3/frama_c_wp/vset.mlw
- src/plugins/wp/tests/wp_acsl/oracle/vset.res.oracle 11 additions, 4 deletionssrc/plugins/wp/tests/wp_acsl/oracle/vset.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/vset.res.oracle 6 additions, 3 deletionssrc/plugins/wp/tests/wp_acsl/oracle_qualif/vset.res.oracle
- src/plugins/wp/tests/wp_acsl/vset.i 6 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/vset.i
Loading
Please register or sign in to comment