diff --git a/tests/syntax/ko_global.c b/tests/syntax/ko_globals.c
similarity index 100%
rename from tests/syntax/ko_global.c
rename to tests/syntax/ko_globals.c
diff --git a/tests/syntax/oracle/ko_global.res.oracle b/tests/syntax/oracle/ko_global.res.oracle
deleted file mode 100644
index c402c3de32d94555743b43391bad9d98ada35d83..0000000000000000000000000000000000000000
--- a/tests/syntax/oracle/ko_global.res.oracle
+++ /dev/null
@@ -1,14 +0,0 @@
-[kernel] Parsing ko_global.c (with preprocessing)
-[kernel] ko_global.c:9: User Error: a is not a compile-time constant
-[kernel] ko_global.c:11: User Error: a is not a compile-time constant
-[kernel] ko_global.c:21: User Error: f is not a compile-time constant
-[kernel] ko_global.c:23: User Error: g is not a compile-time constant
-[kernel] ko_global.c:25: User Error: 
-  Initializer element is not a compile-time constant
-[kernel] ko_global.c:28: User Error: i is not a compile-time constant
-[kernel] ko_global.c:31: User Error: k is not a compile-time constant
-[kernel] ko_global.c:38: User Error: n is not a compile-time constant
-[kernel] ko_global.c:45: User Error: q is not a compile-time constant
-[kernel] User Error: stopping on file "ko_global.c" that has errors. Add '-kernel-msg-key pp'
-  for preprocessing command.
-[kernel] Frama-C aborted: invalid user input.
diff --git a/tests/syntax/oracle/ko_globals.res.oracle b/tests/syntax/oracle/ko_globals.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..43121f12923b2f1521a35fecdea747536126b673
--- /dev/null
+++ b/tests/syntax/oracle/ko_globals.res.oracle
@@ -0,0 +1,14 @@
+[kernel] Parsing ko_globals.c (with preprocessing)
+[kernel] ko_globals.c:9: User Error: a is not a compile-time constant
+[kernel] ko_globals.c:11: User Error: a is not a compile-time constant
+[kernel] ko_globals.c:21: User Error: f is not a compile-time constant
+[kernel] ko_globals.c:23: User Error: g is not a compile-time constant
+[kernel] ko_globals.c:25: User Error: 
+  Initializer element is not a compile-time constant
+[kernel] ko_globals.c:28: User Error: i is not a compile-time constant
+[kernel] ko_globals.c:31: User Error: k is not a compile-time constant
+[kernel] ko_globals.c:38: User Error: n is not a compile-time constant
+[kernel] ko_globals.c:45: User Error: q is not a compile-time constant
+[kernel] User Error: stopping on file "ko_globals.c" that has errors. Add '-kernel-msg-key pp'
+  for preprocessing command.
+[kernel] Frama-C aborted: invalid user input.