diff --git a/src/plugins/e-acsl/tests/memory/oracle_dev/ghost_parameters.res.oracle b/src/plugins/e-acsl/tests/memory/oracle_dev/ghost_parameters.res.oracle
new file mode 100644
index 0000000000000000000000000000000000000000..a076fcedfdb07a6e5dbd7554e48c110d6e0b1c0e
--- /dev/null
+++ b/src/plugins/e-acsl/tests/memory/oracle_dev/ghost_parameters.res.oracle
@@ -0,0 +1 @@
+[kernel] Parsing tests/memory/ghost_parameters.i (no preprocessing)