...plugins/instantiate/tests/string/oracle/memcmp.res.oracle

...plugins/instantiate/tests/string/oracle/memcpy.res.oracle

...lugins/instantiate/tests/string/oracle/memmove.res.oracle

...ugins/instantiate/tests/string/oracle/memset_0.res.oracle

...gins/instantiate/tests/string/oracle/memset_FF.res.oracle

...s/instantiate/tests/string/oracle/memset_value.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle

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

tests/rte/oracle/tab.res.oracle

tests/spec/oracle/array_conversion.res.oracle

tests/spec/oracle/array_typedef.res.oracle

tests/spec/oracle/range.res.oracle

tests/spec/oracle/rm_qualifiers.res.oracle

tests/spec/oracle/tsets.res.oracle

tests/syntax/oracle/assembly_gmp.0.res.oracle

tests/syntax/oracle/assembly_gmp.1.res.oracle

tests/syntax/oracle/assembly_gmp.2.res.oracle

tests/syntax/oracle/bts0519.0.res.oracle

tests/syntax/oracle/dangerous_expressions.res.oracle

tests/syntax/oracle/enum_size_array.res.oracle