From 61981e35465113db22a3d67550889be1d243a2a0 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 14 Dec 2020 10:36:22 +0100
Subject: [PATCH] [server] Update server oracles.
---
.../tests/batch/oracle/ast_services.out.json | 18 ++++++++++++++++--
1 file changed, 16 insertions(+), 2 deletions(-)
diff --git a/src/plugins/server/tests/batch/oracle/ast_services.out.json b/src/plugins/server/tests/batch/oracle/ast_services.out.json
index 3dc3730f8f4..5ecfe153b22 100644
--- a/src/plugins/server/tests/batch/oracle/ast_services.out.json
+++ b/src/plugins/server/tests/batch/oracle/ast_services.out.json
@@ -7,13 +7,27 @@
"key": "kf#24",
"name": "g",
"signature": "int g(int y);",
- "defined": true
+ "defined": true,
+ "sloc": {
+ "dir": "tests/batch",
+ "base": "ast_services.i",
+ "file":
+ "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+ "line": 2
+ }
},
{
"key": "kf#20",
"name": "f",
"signature": "int f(int x);",
- "defined": true
+ "defined": true,
+ "sloc": {
+ "dir": "tests/batch",
+ "base": "ast_services.i",
+ "file":
+ "/home/michele/work/frama-c/src/plugins/server/tests/batch/ast_services.i",
+ "line": 1
+ }
}
],
"removed": [],
--
GitLab