[wp-region] havoc = memcpy in .mlw
Showing
- src/plugins/wp/MemBytes.ml 15 additions, 1 deletionsrc/plugins/wp/MemBytes.ml
- src/plugins/wp/MemLoader.ml 22 additions, 0 deletionssrc/plugins/wp/MemLoader.ml
- src/plugins/wp/MemLoader.mli 2 additions, 0 deletionssrc/plugins/wp/MemLoader.mli
- src/plugins/wp/MemMemory.ml 2 additions, 0 deletionssrc/plugins/wp/MemMemory.ml
- src/plugins/wp/MemMemory.mli 1 addition, 0 deletionssrc/plugins/wp/MemMemory.mli
- src/plugins/wp/MemRegion.ml 12 additions, 0 deletionssrc/plugins/wp/MemRegion.ml
- src/plugins/wp/MemRegion.mli 4 additions, 1 deletionsrc/plugins/wp/MemRegion.mli
- src/plugins/wp/MemTyped.ml 6 additions, 0 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/share/why3/frama_c_wp/memory.mlw 11 additions, 2 deletionssrc/plugins/wp/share/why3/frama_c_wp/memory.mlw
Loading
Please register or sign in to comment