Merge branch 'feature/region/blobs' into 'master'
[region] fix blobs See merge request frama-c/frama-c!4687
No related branches found
No related tags found
Showing
- src/kernel_services/ast_queries/cil.ml 6 additions, 3 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 6 additions, 0 deletionssrc/kernel_services/ast_queries/cil.mli
- src/plugins/region/annot.ml 4 additions, 4 deletionssrc/plugins/region/annot.ml
- src/plugins/region/annot.mli 1 addition, 1 deletionsrc/plugins/region/annot.mli
- src/plugins/region/code.ml 4 additions, 2 deletionssrc/plugins/region/code.ml
- src/plugins/region/logic.ml 3 additions, 3 deletionssrc/plugins/region/logic.ml
- src/plugins/region/memory.ml 45 additions, 43 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 3 additions, 4 deletionssrc/plugins/region/memory.mli
- src/plugins/region/store.ml 10 additions, 8 deletionssrc/plugins/region/store.ml
- src/plugins/region/tests/region/blob.i 14 additions, 0 deletionssrc/plugins/region/tests/region/blob.i
- src/plugins/region/tests/region/comp.c 7 additions, 0 deletionssrc/plugins/region/tests/region/comp.c
- src/plugins/region/tests/region/oracle/blob.res.oracle 13 additions, 0 deletionssrc/plugins/region/tests/region/oracle/blob.res.oracle
- src/plugins/region/tests/region/oracle/comp.res.oracle 9 additions, 0 deletionssrc/plugins/region/tests/region/oracle/comp.res.oracle
- src/plugins/region/tests/region/oracle/swap.res.oracle 5 additions, 5 deletionssrc/plugins/region/tests/region/oracle/swap.res.oracle
Loading
Please register or sign in to comment