[wp] replace havoc by memcpy
Showing
- src/plugins/wp/MemBytes.ml 4 additions, 11 deletionssrc/plugins/wp/MemBytes.ml
- src/plugins/wp/MemLoader.ml 22 additions, 51 deletionssrc/plugins/wp/MemLoader.ml
- src/plugins/wp/MemLoader.mli 4 additions, 6 deletionssrc/plugins/wp/MemLoader.mli
- src/plugins/wp/MemMemory.ml 21 additions, 18 deletionssrc/plugins/wp/MemMemory.ml
- src/plugins/wp/MemMemory.mli 1 addition, 1 deletionsrc/plugins/wp/MemMemory.mli
- src/plugins/wp/MemRegion.ml 5 additions, 14 deletionssrc/plugins/wp/MemRegion.ml
- src/plugins/wp/MemRegion.mli 2 additions, 4 deletionssrc/plugins/wp/MemRegion.mli
- src/plugins/wp/MemTyped.ml 2 additions, 8 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/TacHavoc.ml 5 additions, 3 deletionssrc/plugins/wp/TacHavoc.ml
- src/plugins/wp/share/why3/frama_c_wp/memory.mlw 3 additions, 3 deletionssrc/plugins/wp/share/why3/frama_c_wp/memory.mlw
Loading
Please register or sign in to comment