[eacsl] Add function to create a NULL pointer expression
Showing
- src/plugins/e-acsl/src/code_generator/injector.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/smart_exp.ml 3 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/smart_exp.ml
- src/plugins/e-acsl/src/code_generator/smart_exp.mli 3 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/smart_exp.mli
- src/plugins/e-acsl/src/code_generator/translate.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate.ml
Loading
Please register or sign in to comment