src/plugins/e-acsl/src/analyses/labels.ml

src/plugins/e-acsl/src/analyses/labels.mli

src/plugins/e-acsl/tests/arith/oracle/at.res.oracle

...ests/arith/oracle/at_on-purely-logic-variables.res.oracle

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_rationals.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2252.c

src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-139.c

src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-40.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c

...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c

...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c

...ns/e-acsl/tests/constructs/oracle/gen_function_contract.c