[wp] Use Filepath instead of mere strings.
Showing
- src/plugins/wp/ProofSession.ml 2 additions, 1 deletionsrc/plugins/wp/ProofSession.ml
- src/plugins/wp/ProverCoq.ml 5 additions, 5 deletionssrc/plugins/wp/ProverCoq.ml
- src/plugins/wp/ProverErgo.ml 1 addition, 1 deletionsrc/plugins/wp/ProverErgo.ml
- src/plugins/wp/ProverWhy3.ml 6 additions, 4 deletionssrc/plugins/wp/ProverWhy3.ml
- src/plugins/wp/RegionDump.ml 3 additions, 1 deletionsrc/plugins/wp/RegionDump.ml
- src/plugins/wp/RegionDump.mli 1 addition, 1 deletionsrc/plugins/wp/RegionDump.mli
- src/plugins/wp/cfgDump.ml 1 addition, 1 deletionsrc/plugins/wp/cfgDump.ml
- src/plugins/wp/wpContext.mli 2 additions, 1 deletionsrc/plugins/wp/wpContext.mli
- src/plugins/wp/wpReached.ml 1 addition, 1 deletionsrc/plugins/wp/wpReached.ml
- src/plugins/wp/wpReached.mli 1 addition, 1 deletionsrc/plugins/wp/wpReached.mli
- src/plugins/wp/wp_parameters.ml 8 additions, 8 deletionssrc/plugins/wp/wp_parameters.ml
- src/plugins/wp/wp_parameters.mli 3 additions, 3 deletionssrc/plugins/wp/wp_parameters.mli
- src/plugins/wp/wpo.ml 3 additions, 3 deletionssrc/plugins/wp/wpo.ml
Loading
Please register or sign in to comment