[RTL] Changes to the ADT-based model:
- Stylistic updates - Refactoring of assertions (production/debugging) - Refactoring iheader placement
Showing
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 1 addition, 5 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel.c 69 additions, 68 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel.c
- src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h 56 additions, 55 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h 2 additions, 1 deletionsrc/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h 3 additions, 1 deletionsrc/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
Loading
Please register or sign in to comment