diff --git a/tests/syntax/anon_enum_libc.c b/tests/syntax/anon_enum_libc.c index f59a10e2cf3bafc3c3d3f0ec95b5454ceb9f1b19..3c420cf6e6fe62b7f6becb62555d2708a710c471 100644 --- a/tests/syntax/anon_enum_libc.c +++ b/tests/syntax/anon_enum_libc.c @@ -1,4 +1,5 @@ /* run.config +FILTER: sed -e 's|#include *"\([^/]*[/]\)*\([^/]*\)"|#include "PTESTS_DIR/\2"|' OPT: -cpp-extra-args="-I @PTEST_DIR@" -ocode @PTEST_DIR@/result/@PTEST_NAME@.c -print -then -ocode="" @PTEST_DIR@/result/@PTEST_NAME@.c -print */ diff --git a/tests/syntax/oracle/anon_enum_libc.res.oracle b/tests/syntax/oracle/anon_enum_libc.res.oracle index 0c3e5392e4f093c75d66e6426534fd81cf341e49..7a8098f266bdd68a621604cce083c1cd2619aaa8 100644 --- a/tests/syntax/oracle/anon_enum_libc.res.oracle +++ b/tests/syntax/oracle/anon_enum_libc.res.oracle @@ -1,7 +1,7 @@ [kernel] Parsing tests/syntax/anon_enum_libc.c (with preprocessing) [kernel] Parsing tests/syntax/result/anon_enum_libc.c (with preprocessing) /* Generated by Frama-C */ -#include "/home/virgile/Frama-C/frama-c-stable/tests/syntax/anon_enum_libc.h" +#include "PTESTS_DIR/anon_enum_libc.h" struct __anonstruct_s1_1 { int x ; float y ;