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

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

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

tests/libc/oracle/fc_libc.1.res.oracle

tests/pretty_printing/funptr_noreturn.c

tests/pretty_printing/oracle/funptr_noreturn.res.oracle

tests/spec/oracle/default_spec_mode.0.res.oracle

tests/spec/oracle/default_spec_mode.1.res.oracle

tests/spec/oracle/default_spec_mode.2.res.oracle

tests/spec/oracle/default_spec_mode.3.res.oracle

tests/spec/oracle/default_spec_mode.4.res.oracle

tests/syntax/oracle/built.res.oracle