Merge branch 'feature/wp/smoke-unreachable' into 'master'
[wp] fix corner cases for unreachability See merge request frama-c/frama-c!3051
Showing
- src/plugins/wp/register.ml 23 additions, 20 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.res.oracle 1 addition, 1 deletion...wp/tests/wp_bts/oracle_qualif/nupw-bcl-bts1120.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/string-compare.res.oracle 1 addition, 1 deletion.../tests/wp_gallery/oracle_qualif/string-compare.res.oracle
- src/plugins/wp/tests/wp_plugin/doomed_dead.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/doomed_dead.i
- src/plugins/wp/tests/wp_plugin/doomed_unreach.i 24 additions, 0 deletionssrc/plugins/wp/tests/wp_plugin/doomed_unreach.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle 1 addition, 1 deletion...wp/tests/wp_plugin/oracle_qualif/doomed_dead.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle 1 addition, 1 deletion...wp/tests/wp_plugin/oracle_qualif/doomed_dead.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/doomed_unreach.res.oracle 21 additions, 0 deletions...p/tests/wp_plugin/oracle_qualif/doomed_unreach.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.log 1 addition, 0 deletionssrc/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.log
- src/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/oracle_qualif/stmt.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_typed/oracle_qualif/user_init.0.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.1.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_typed/oracle_qualif/user_init.1.res.oracle
- src/plugins/wp/tests/wp_typed/oracle_qualif/user_init.2.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_typed/oracle_qualif/user_init.2.res.oracle
- src/plugins/wp/wpAnnot.ml 54 additions, 35 deletionssrc/plugins/wp/wpAnnot.ml
- src/plugins/wp/wpAnnot.mli 3 additions, 0 deletionssrc/plugins/wp/wpAnnot.mli
- src/plugins/wp/wpReached.ml 78 additions, 36 deletionssrc/plugins/wp/wpReached.ml
- src/plugins/wp/wpReached.mli 6 additions, 4 deletionssrc/plugins/wp/wpReached.mli
- src/plugins/wp/wpo.ml 1 addition, 23 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment