Skip to content
Snippets Groups Projects
Commit b0e84174 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[tests] add test for JCDB subdir

parent b73065f7
No related branches found
No related tags found
No related merge requests found
[kernel] Parsing PWD/../subdir.c (with preprocessing)
/* run.config
NOFRAMAC:
EXECNOW: LOG subdir.res LOG subdir.err (cd @PTEST_DIR@/subdir1 && @frama-c@ -add-symbolic-path $PWD/..:PWD/.. -json-compilation-database ../subdir.json ../subdir.c) > @PTEST_RESULT@/subdir.res 2> @PTEST_RESULT@/subdir.err
*/
// this test must be run with PWD in subdir1
#include "subdir1/header.h"
#include "included.h" // in subdir2, via '-Isubdir2' in subdir.json
#include "__fc_builtin.h" // to check that Frama-C's libc is correctly included
int main() {
return ONE + TWO;
}
[
{ "directory": ".",
"command": "g++ -Isubdir2",
"file": "subdir.c"
}
]
#define ONE 1
// to be included by subdir.c
#define TWO 2
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