Skip to content
Snippets Groups Projects
Commit 8e51029b authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] avoid having an absolute path in an oracle

parent a1e97978
No related branches found
No related tags found
No related merge requests found
/* 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
*/
......
[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 ;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment