[wp] refactor internal CFG edges
Showing
- src/plugins/wp/calculus.ml 1 addition, 2 deletionssrc/plugins/wp/calculus.ml
- src/plugins/wp/cil2cfg.ml 17 additions, 17 deletionssrc/plugins/wp/cil2cfg.ml
- src/plugins/wp/cil2cfg.mli 2 additions, 2 deletionssrc/plugins/wp/cil2cfg.mli
- src/plugins/wp/wpAnnot.ml 2 additions, 2 deletionssrc/plugins/wp/wpAnnot.ml
Loading
Please register or sign in to comment