[typing] avoid removing a block if previous stmt is a statement contract
or any code annotation that is specifying what the whole next statement is doing
Showing
- src/kernel_internals/typing/cabs2cil.ml 83 additions, 76 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/file.ml 2 additions, 24 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/logic_utils.ml 21 additions, 0 deletionssrc/kernel_services/ast_queries/logic_utils.ml
- src/kernel_services/ast_queries/logic_utils.mli 9 additions, 0 deletionssrc/kernel_services/ast_queries/logic_utils.mli
- tests/spec/oracle/stmt_contract.res.oracle 2 additions, 0 deletionstests/spec/oracle/stmt_contract.res.oracle
- tests/spec/stmt_contract.i 3 additions, 0 deletionstests/spec/stmt_contract.i
Loading
Please register or sign in to comment