Skip to content
Snippets Groups Projects
Commit 00b69e94 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Server] restore the use of relative paths in tests

parent e926ab2e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/server/tests/batch/oracle/ast_services.out.json
+ 2
− 4
View file @ 00b69e94
...@@ -11,8 +11,7 @@ ...@@ -11,8 +11,7 @@
"sloc": { "sloc": {
"dir": ".", "dir": ".",
"base": "ast_services.i", "base": "ast_services.i",
"file": "file": "ast_services.i",
"/home/pb122476/export-local/frama-c/dune-frama-c/trunk/_build/default/src/plugins/server/tests/batch/result/ast_services.i",
"line": 8 "line": 8
} }
}, },
...@@ -24,8 +23,7 @@ ...@@ -24,8 +23,7 @@
"sloc": { "sloc": {
"dir": ".", "dir": ".",
"base": "ast_services.i", "base": "ast_services.i",
"file": "file": "ast_services.i",
"/home/pb122476/export-local/frama-c/dune-frama-c/trunk/_build/default/src/plugins/server/tests/batch/result/ast_services.i",
"line": 7 "line": 7
} }
} }
......
src/plugins/server/tests/batch/test_config
+ 1
− 1
View file @ 00b69e94
PLUGIN: server PLUGIN: server
LOG: @PTEST_NAME@.out.json LOG: @PTEST_NAME@.out.json
OPT: -check -server-batch %{dep:@PTEST_NAME@.json} -server-batch-output-dir . OPT: -check -server-batch %{dep:@PTEST_NAME@.json} -server-batch-output-dir . -server-msg-key use-relative-filepath
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment