diff --git a/tests/spec/oracle/clash_double_file_bts1598.res.oracle b/tests/spec/oracle/clash_double_file_bts1598.res.oracle
index 19ba21bf7c8a1977344f466ea3618ae2de4535a1..504a964c9d28f29e7548b59fe8ecddc5b3c6f528 100644
--- a/tests/spec/oracle/clash_double_file_bts1598.res.oracle
+++ b/tests/spec/oracle/clash_double_file_bts1598.res.oracle
@@ -19,7 +19,7 @@
 #include "wchar.h"
 
 [kernel] Parsing clash_double_file_bts1598.c (with preprocessing)
-[kernel] Parsing foo.c (with preprocessing)
+[kernel] Parsing ocode_0_clash_double_file_bts1598.c (with preprocessing)
 /* Generated by Frama-C */
 #include "__fc_builtin.h"
 #include "assert.h"
diff --git a/tests/spec/oracle/rm_qualifiers.res.oracle b/tests/spec/oracle/rm_qualifiers.res.oracle
index 04e77de3d9d0fc52035a3cc55825d7b4b5a58cd8..6a9d16b3771b4d7a9802e5cfcf890f93f9b39cc3 100644
--- a/tests/spec/oracle/rm_qualifiers.res.oracle
+++ b/tests/spec/oracle/rm_qualifiers.res.oracle
@@ -1,5 +1,5 @@
 [kernel] Parsing rm_qualifiers.i (no preprocessing)
-[kernel] Parsing rm_qualifiers_res.i (no preprocessing)
+[kernel] Parsing ocode_0_rm_qualifiers.i (no preprocessing)
 /* Generated by Frama-C */
 extern void G(void const *p);