[wp/cache] fix cleanup mode
Showing
- src/plugins/wp/ProverWhy3.ml 21 additions, 27 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/ProverWhy3.mli 0 additions, 2 deletionssrc/plugins/wp/ProverWhy3.mli
- src/plugins/wp/register.ml 5 additions, 34 deletionssrc/plugins/wp/register.ml
- src/plugins/wp/tests/wp_plugin/convert.i 2 additions, 3 deletionssrc/plugins/wp/tests/wp_plugin/convert.i
- src/plugins/wp/tests/wp_plugin/model.i 1 addition, 2 deletionssrc/plugins/wp/tests/wp_plugin/model.i
- src/plugins/wp/tests/wp_plugin/oracle/model.res.oracle 4 additions, 4 deletionssrc/plugins/wp/tests/wp_plugin/oracle/model.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/convert.0.res.oracle 4 additions, 2 deletions...ins/wp/tests/wp_plugin/oracle_qualif/convert.0.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/convert.0.session/cache/41595c57ce7e98269d53becbfeb7bcb3.json 2 additions, 0 deletions...ert.0.session/cache/41595c57ce7e98269d53becbfeb7bcb3.json
- src/plugins/wp/tests/wp_plugin/oracle_qualif/convert.0.session/cache/997da10e0a56b9a3ff392e4d0e7b52b7.json 2 additions, 0 deletions...ert.0.session/cache/997da10e0a56b9a3ff392e4d0e7b52b7.json
- src/plugins/wp/tests/wp_plugin/oracle_qualif/convert.1.res.oracle 15 additions, 6 deletions...ins/wp/tests/wp_plugin/oracle_qualif/convert.1.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/model.res.oracle 16 additions, 4 deletions...plugins/wp/tests/wp_plugin/oracle_qualif/model.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.0.session/cache/4dc341b2d4deefe644f427eea94616b0.json 1 addition, 0 deletions...ved.0.session/cache/4dc341b2d4deefe644f427eea94616b0.json
- src/plugins/wp/tests/wp_plugin/removed.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/removed.i
Loading
Please register or sign in to comment