share/libc/stdio.c

share/libc/stdio.h

...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h

...share/e-acsl/observation_model/e_acsl_observation_model.h

src/plugins/e-acsl/tests/arith/oracle/gen_arith.c

src/plugins/e-acsl/tests/arith/oracle/gen_array.c

src/plugins/e-acsl/tests/arith/oracle/gen_at.c

...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c

src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c

src/plugins/e-acsl/tests/arith/oracle/gen_cast.c

src/plugins/e-acsl/tests/arith/oracle/gen_comparison.c

...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c

src/plugins/e-acsl/tests/arith/oracle/gen_integer_constant.c

src/plugins/e-acsl/tests/arith/oracle/gen_let.c

src/plugins/e-acsl/tests/arith/oracle/gen_longlong.c

src/plugins/e-acsl/tests/arith/oracle/gen_not.c

src/plugins/e-acsl/tests/arith/oracle/gen_quantif.c

src/plugins/e-acsl/tests/arith/oracle/gen_rationals.c