Skip to content
Snippets Groups Projects
Commit cd7eabcc authored by Patrick Baudin's avatar Patrick Baudin
Browse files

init tests/jcdb

parent c313c76a
No related branches found
No related tags found
No related merge requests found
/* run.config
DEPS: jcdb2.c with_arguments.json
CMXS: @PTEST_NAME@
OPT: -json-compilation-database @PTEST_DIR@ -print
OPT: @PTEST_DIR@/jcdb2.c -json-compilation-database @PTEST_DIR@/with_arguments.json -print
OPT: -json-compilation-database @PTEST_DIR@/with_arguments.json -no-autoload-plugins -load-module %{dep:@PTEST_NAME@.cmxs}
EXECNOW: LOG list_files.res LOG list_files.err share/analysis-scripts/list_files.py @PTEST_DIR@/compile_commands_working.json > list_files.res 2> list_files.err
OPT: -json-compilation-database ./ -print
OPT: jcdb2.c -json-compilation-database with_arguments.json -print
OPT: -json-compilation-database with_arguments.json -no-autoload-plugins -load-module %{dep:@PTEST_NAME@.cmxs}
EXECNOW: LOG list_files.res LOG list_files.err share/analysis-scripts/list_files.py compile_commands_working.json > list_files.res 2> list_files.err
*/
#include <stdio.h>
......
[kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
[kernel] Parsing tests/jcdb/jcdb2.c (with preprocessing)
[kernel] Parsing jcdb.c (with preprocessing)
[kernel] Parsing jcdb2.c (with preprocessing)
/* Generated by Frama-C */
#include "errno.h"
#include "stdarg.h"
......
[kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
[kernel] Value of -json-compilation-database in default is tests/jcdb/with_arguments.json
[kernel] Value of -json-compilation-database in copy is tests/jcdb/with_arguments.json
[kernel] Parsing jcdb.c (with preprocessing)
[kernel] Value of -json-compilation-database in default is with_arguments.json
[kernel] Value of -json-compilation-database in copy is with_arguments.json
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