[wp] fix missing lemmas in function contexts
Showing
- src/plugins/wp/ProverWhy3.ml 1 addition, 1 deletionsrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/cfgWP.ml 65 additions, 56 deletionssrc/plugins/wp/cfgWP.ml
- src/plugins/wp/tests/wp/oracle/wp_behav.res.oracle 4 additions, 4 deletionssrc/plugins/wp/tests/wp/oracle/wp_behav.res.oracle
- src/plugins/wp/wpContext.ml 1 addition, 1 deletionsrc/plugins/wp/wpContext.ml
Loading
Please register or sign in to comment