Skip to content
Snippets Groups Projects
Commit 2eebe747 authored by François Bobot's avatar François Bobot
Browse files

tests jcdb add dependency

parent 7d3dc757
No related branches found
No related tags found
No related merge requests found
/* run.config
DEPS: jcdb2.c with_arguments.json
DEPS: jcdb2.c with_arguments.json compile_commands.json
CMXS: @PTEST_NAME@
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}
OPT: -json-compilation-database with_arguments.json -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:pp:compilation-db] Warning:
found duplicate flags for 'tests/jcdb/jcdb.c', replacing old flags.
found duplicate flags for 'jcdb.c', replacing old flags.
Old flags no longer present: -DFLAG_TO_BE_FORGOTTEN
New flags not previously present: -DDUPLICATE_FLAGS_THAT_WILL_BE_OVERWRITTEN
(warn-once: no further messages from category 'pp:compilation-db' will be emitted)
[kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
[kernel] Parsing jcdb.c (with preprocessing)
/* Generated by Frama-C */
#include "errno.h"
#include "stdarg.h"
......
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