[Tests] Fix problem of path

tests/libc/coverage.c

 /* run.config*
    PLUGIN: metrics
-   DEPS: ../../../share/libc/string.c
-   OPT: -eva-no-builtins-auto @EVA_OPTIONS@ ../../../share/libc/string.c -eva -eva-slevel 6 -metrics-eva-cover -then -metrics-libc
+   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
 */
 
 #include "string.h"

tests/libc/oracle/coverage.res.oracle

 [kernel] Parsing coverage.c (with preprocessing)
-[kernel] Parsing FRAMA-C/share/libc/string.c (with preprocessing)
+[kernel] Parsing FRAMAC_SHARE/libc/string.c (with preprocessing)
 [eva] Analyzing a complete application starting at main
 [eva] Computing initial state
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   
 [eva] computing for function strlen <- main.
-  Called from coverage.c:11.
+  Called from coverage.c:10.
 [eva] Recording results for strlen
 [eva] Done for function strlen
 [eva] Recording results for main

tests/syntax/cpp-command.c

 /* run.config*
-   FILTER: sed -e 's:/\(tmp\|var\|build\)/[^ ]*\.i:/tmp/FILE.i:g; s:$PWD::g; s:-I.*share/frama-c/share/libc:-I LIBC:g'
+   FILTER: sed -e "s:/\(tmp\|var\|build\)/[^ ]*\.i:/tmp/FILE.i:g; s:$PWD:.:g; s:-I.*share/frama-c/share/libc:-I LIBC:g"
    OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo [\$(basename '%1') \$(basename '%1') \$(basename '%i') \$(basename '%input')] ['%2' '%2' '%o' '%output'] ['%args']"
    OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "echo %%1 = \$(basename '%1') %%2 = '%2' %%args = '%args'"
    OPT: -no-autoload-plugins -cpp-frama-c-compliant -cpp-command "printf \"%s\" \"using \\% has no effect : \$(basename \"\%input\")\""

tests/syntax/dune

+(rule
+ (action (with-stdout-to framac_share_path (pipe-stdout (run frama-c -print-share-path) (run tr -d '\n'))))
+)

tests/syntax/multiple_decls_contracts.c

 /* run.config
-DEPS: ../../../share/libc/string.h
-OPT: -add-symbolic-path SHARE:../../../share ../../../share/libc/string.h @PTEST_FILE@ @PTEST_FILE@ -print
-OPT: -add-symbolic-path SHARE:../../../share @PTEST_FILE@ ../../../share/libc/string.h @PTEST_FILE@ -print
-OPT: -add-symbolic-path SHARE:../../../share @PTEST_FILE@ @PTEST_FILE@ ../../../share/libc/string.h -print
+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
 */
 
 #include "string.h"

tests/syntax/oracle/cpp-command.4.res.oracle

 [kernel] Preprocessing command:
-  gcc -E -C -I LIBC -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32 'FRAMA-C/tests/syntax/result/cpp-command.c' -o '/tmp/FILE.i'
+  gcc -E -C -I LIBC -D__FRAMAC__ -D__FC_MACHDEP_X86_32 -dD -nostdinc -m32 './cpp-command.c' -o '/tmp/FILE.i'

tests/syntax/oracle/multiple_decls_contracts.0.res.oracle

-[kernel] Parsing SHARE/libc/string.h (with preprocessing)
+[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] multiple_decls_contracts.c:11: Warning: 
-  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
+[kernel] multiple_decls_contracts.c:10: Warning: 
+  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
 /* Generated by Frama-C */
-#include "FRAMA-C/share/libc/__fc_alloc_axiomatic.h"
-#include "FRAMA-C/share/libc/__fc_define_size_t.h"
-#include "FRAMA-C/share/libc/__fc_define_wchar_t.h"
-#include "FRAMA-C/share/libc/__fc_string_axiomatic.h"
-#include "FRAMA-C/share/libc/string.h"
-#include "FRAMA-C/share/libc/strings.h"
+#include "stddef.h"
 #include "stdlib.h"
 #include "string.h"
 #include "strings.h"

tests/syntax/oracle/multiple_decls_contracts.1.res.oracle

 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] Parsing SHARE/libc/string.h (with preprocessing)
+[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] multiple_decls_contracts.c:11: Warning: 
-  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
+[kernel] multiple_decls_contracts.c:10: Warning: 
+  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
 /* Generated by Frama-C */
-#include "FRAMA-C/share/libc/__fc_alloc_axiomatic.h"
-#include "FRAMA-C/share/libc/string.h"
-#include "FRAMA-C/share/libc/strings.h"
 #include "stddef.h"
 #include "stdlib.h"
 #include "string.h"

tests/syntax/oracle/multiple_decls_contracts.2.res.oracle

 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
 [kernel] Parsing multiple_decls_contracts.c (with preprocessing)
-[kernel] Parsing SHARE/libc/string.h (with preprocessing)
-[kernel] multiple_decls_contracts.c:11: Warning: 
-  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
+[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
+[kernel] multiple_decls_contracts.c:10: Warning: 
+  dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
 /* Generated by Frama-C */
-#include "FRAMA-C/share/libc/__fc_alloc_axiomatic.h"
-#include "FRAMA-C/share/libc/__fc_string_axiomatic.h"
-#include "FRAMA-C/share/libc/string.h"
-#include "FRAMA-C/share/libc/strings.h"
 #include "stddef.h"
 #include "stdlib.h"
 #include "string.h"