From 2672e1fcfb79d0bed10c875a8d0dfba0711fdf6e Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 9 Mar 2021 16:14:27 +0100
Subject: [PATCH] [tests] workaround about access to Frama-C Share directory
---
tests/jcdb/jcdb.c | 2 +-
tests/libc/coverage.c | 2 +-
tests/syntax/multiple_decls_contracts.c | 6 +++---
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/tests/jcdb/jcdb.c b/tests/jcdb/jcdb.c
index 8434093fbb6..2c92c84fd99 100644
--- a/tests/jcdb/jcdb.c
+++ b/tests/jcdb/jcdb.c
@@ -4,7 +4,7 @@ CMXS: @PTEST_NAME@
OPT: -json-compilation-database ./ -print
OPT: jcdb2.c -json-compilation-database with_arguments.json -print
OPT: -json-compilation-database with_arguments.json -load-module %{dep:@PTEST_NAME@.cmxs}
-EXECNOW: LOG list_files.res LOG list_files.err %{read:../../syntax/framac_share_path}/analysis-scripts/list_files.py %{dep:compile_commands_working.json} > list_files.res 2> list_files.err
+EXECNOW: LOG list_files.res LOG list_files.err ../../../../install/default/share/frama-c/share/analysis-scripts/list_files.py %{dep:compile_commands_working.json} > list_files.res 2> list_files.err
*/
#include <stdio.h>
diff --git a/tests/libc/coverage.c b/tests/libc/coverage.c
index e11d52b0330..ad572429325 100644
--- a/tests/libc/coverage.c
+++ b/tests/libc/coverage.c
@@ -1,6 +1,6 @@
/* run.config*
PLUGIN: metrics @EVA_PLUGINS@
- OPT: -eva-no-builtins-auto @EVA_OPTIONS@ %{read:../../syntax/framac_share_path}/libc/string.c -eva -eva-slevel 6 -metrics-eva-cover -then -metrics-libc
+ OPT: -eva-no-builtins-auto @EVA_OPTIONS@ ../../../../install/default/share/frama-c/share/libc/string.c -eva -eva-slevel 6 -metrics-eva-cover -then -metrics-libc
*/
#include "string.h"
diff --git a/tests/syntax/multiple_decls_contracts.c b/tests/syntax/multiple_decls_contracts.c
index 3e644bd55a3..85498ad6fbf 100644
--- a/tests/syntax/multiple_decls_contracts.c
+++ b/tests/syntax/multiple_decls_contracts.c
@@ -1,8 +1,8 @@
/* run.config
CMD: @frama-c-cmd@ @OPTIONS@
-OPT: %{read:../framac_share_path}/libc/string.h @PTEST_FILE@ @PTEST_FILE@ -print
-OPT: @PTEST_FILE@ %{read:../framac_share_path}/libc/string.h @PTEST_FILE@ -print
-OPT: @PTEST_FILE@ @PTEST_FILE@ %{read:../framac_share_path}/libc/string.h -print
+OPT: ../../../../install/default/share/frama-c/share/libc/string.h @PTEST_FILE@ @PTEST_FILE@ -print
+OPT: @PTEST_FILE@ ../../../../install/default/share/frama-c/share/libc/string.h @PTEST_FILE@ -print
+OPT: @PTEST_FILE@ @PTEST_FILE@ ../../../../install/default/share/frama-c/share/libc/string.h -print
*/
#include "string.h"
--
GitLab