diff --git a/tests/jcdb/jcdb.c b/tests/jcdb/jcdb.c index 8434093fbb6d4ff934e28442e631b7814183fe83..2c92c84fd993ffebd379ff646c569a9754628652 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 e11d52b0330129622247b44d9725dc2288d52ec5..ad5724293253a5e2365b978187cab697e46d37a2 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 3e644bd55a3afc3ef0725987b713d79a4b4d2a0a..85498ad6fbfbbb3e26c10c33915b5b059b11c648 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"