[wp] Weaken check invariant
- no they have the expected behavior
Showing
- src/plugins/wp/cfgAnnot.ml 9 additions, 3 deletionssrc/plugins/wp/cfgAnnot.ml
- src/plugins/wp/cfgAnnot.mli 6 additions, 1 deletionsrc/plugins/wp/cfgAnnot.mli
- src/plugins/wp/cfgCalculus.ml 21 additions, 11 deletionssrc/plugins/wp/cfgCalculus.ml
- src/plugins/wp/cfgDump.ml 8 additions, 3 deletionssrc/plugins/wp/cfgDump.ml
- src/plugins/wp/cfgWP.ml 6 additions, 2 deletionssrc/plugins/wp/cfgWP.ml
- src/plugins/wp/mcfg.mli 2 additions, 1 deletionsrc/plugins/wp/mcfg.mli
- src/plugins/wp/tests/wp/cfg_loop_deps.i 26 additions, 0 deletionssrc/plugins/wp/tests/wp/cfg_loop_deps.i
- src/plugins/wp/tests/wp/oracle/cfg_loop_deps.res.oracle 135 additions, 0 deletionssrc/plugins/wp/tests/wp/oracle/cfg_loop_deps.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle 1 addition, 2 deletions...ins/wp/tests/wp_acsl/oracle/generalized_checks.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/generalized_checks.res.oracle 5 additions, 5 deletions...tests/wp_acsl/oracle_qualif/generalized_checks.res.oracle
Loading
Please register or sign in to comment