-
- Downloads
Merge branch...
Merge branch '1292-misleading-message-in-wp-s-shell-mode-when-using-only-qed-as-prover' into 'master' Resolve "Misleading message in WP's 'shell' mode when using only Qed as prover" Closes #1292 See merge request frama-c/frama-c!4304
No related branches found
No related tags found
Showing
- src/plugins/report/tests/report/oracle/classify.0.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.0.res.oracle
- src/plugins/report/tests/report/oracle/classify.1.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.1.res.oracle
- src/plugins/report/tests/report/oracle/classify.2.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.2.res.oracle
- src/plugins/report/tests/report/oracle/classify.3.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.3.res.oracle
- src/plugins/report/tests/report/oracle/classify.4.res.oracle 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/classify.4.res.oracle
- src/plugins/wp/prover.ml 8 additions, 5 deletionssrc/plugins/wp/prover.ml
- src/plugins/wp/prover.mli 1 addition, 0 deletionssrc/plugins/wp/prover.mli
- src/plugins/wp/register.ml 4 additions, 3 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp/noqed.i 10 additions, 0 deletionssrc/plugins/wp/tests/wp/noqed.i
- src/plugins/wp/tests/wp/oracle/noqed.0.res.oracle 16 additions, 0 deletionssrc/plugins/wp/tests/wp/oracle/noqed.0.res.oracle
- src/plugins/wp/tests/wp/oracle/noqed.1.res.oracle 11 additions, 0 deletionssrc/plugins/wp/tests/wp/oracle/noqed.1.res.oracle
- src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle 7 additions, 7 deletionssrc/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/nosession.res.oracle 1 addition, 1 deletion...ins/wp/tests/wp_plugin/oracle_qualif/nosession.res.oracle
Loading
Please register or sign in to comment