Merge branch 'feature/wp/test-cfg' into 'master'
[wp] testing new cfg Closes pub/frama-c#49 and #259 See merge request frama-c/frama-c!3057
Showing
- src/plugins/aorai/tests/Aorai_test.ml 1 addition, 0 deletionssrc/plugins/aorai/tests/Aorai_test.ml
- src/plugins/aorai/tests/ya/oracle_prove/declared_function.res.oracle 2 additions, 2 deletions.../aorai/tests/ya/oracle_prove/declared_function.res.oracle
- src/plugins/aorai/tests/ya/oracle_prove/incorrect.res.oracle 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/oracle_prove/incorrect.res.oracle
- src/plugins/aorai/tests/ya/oracle_prove/serial.res.oracle 2 additions, 2 deletionssrc/plugins/aorai/tests/ya/oracle_prove/serial.res.oracle
- src/plugins/aorai/tests/ya/oracle_prove/test_acces_params.res.oracle 0 additions, 2 deletions.../aorai/tests/ya/oracle_prove/test_acces_params.res.oracle
- src/plugins/aorai/tests/ya/oracle_prove/test_acces_params2.res.oracle 0 additions, 2 deletions...aorai/tests/ya/oracle_prove/test_acces_params2.res.oracle
- src/plugins/wp/Changelog 8 additions, 2 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/ProverCoq.ml 1 addition, 1 deletionsrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverErgo.ml 1 addition, 1 deletionsrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverWhy3.ml 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/VC.ml 2 additions, 1 deletionsrc/plugins/wp/VC.ml
- src/plugins/wp/cfgInfos.ml 9 additions, 0 deletionssrc/plugins/wp/cfgInfos.ml
- src/plugins/wp/doc/manual/wp_intro.tex 67 additions, 3 deletionssrc/plugins/wp/doc/manual/wp_intro.tex
- src/plugins/wp/doc/manual/wp_plugin.tex 1 addition, 0 deletionssrc/plugins/wp/doc/manual/wp_plugin.tex
- src/plugins/wp/tests/wp/oracle/sharing.res.oracle 6 additions, 3 deletionssrc/plugins/wp/tests/wp/oracle/sharing.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behav.res.oracle 5 additions, 192 deletionssrc/plugins/wp/tests/wp/oracle/wp_behav.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle 26 additions, 26 deletionssrc/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle 14 additions, 14 deletionssrc/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle 3 additions, 3 deletionssrc/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle 3 additions, 3 deletionssrc/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle
Loading
Please register or sign in to comment