src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle

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

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

...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle

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

src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle

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

.../e-acsl/tests/concurrency/oracle/gen_sequential_threads.c

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

...csl/tests/concurrency/oracle/gen_threads_safe_locations.c

...acsl/tests/concurrency/oracle/parallel_threads.res.oracle

.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle

src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c