[RTL] Dynamic guard against compilation using different pointer size
Showing
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h 7 additions, 2 deletions...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h 10 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h 1 addition, 1 deletionsrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1700.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1700.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1717.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1717.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1718.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1718.c
- src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_compound_initializers.c 1 addition, 1 deletion...l/tests/e-acsl-runtime/oracle/gen_compound_initializers.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c 1 addition, 1 deletion...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost.c
Loading
Please register or sign in to comment