Rewrite some error msg, review changes, parseInt now raise Abort
Showing
- src/kernel_internals/typing/cabs2cil.ml 12 additions, 11 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/ast_queries/cil.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/logic_utils.ml 1 addition, 1 deletionsrc/kernel_services/ast_queries/logic_utils.ml
Loading
Please register or sign in to comment