From c9b5b4af4a88ebf41f30abef249ad2c76a1085bd Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 13 Dec 2019 17:58:31 +0100
Subject: [PATCH] [e-acsl:tests] dev_config: add a missing oracle for a recent
 test

---
 .../e-acsl/tests/memory/oracle_dev/ghost_parameters.res.oracle   | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/plugins/e-acsl/tests/memory/oracle_dev/ghost_parameters.res.oracle

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 00000000000..a076fcedfdb
--- /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)
-- 
GitLab