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

tests about parsing file obtained from -ocode

parent b6e1c3bf
No related branches found
No related tags found
No related merge requests found
...@@ -19,7 +19,7 @@ ...@@ -19,7 +19,7 @@
#include "wchar.h" #include "wchar.h"
[kernel] Parsing clash_double_file_bts1598.c (with preprocessing) [kernel] Parsing clash_double_file_bts1598.c (with preprocessing)
[kernel] Parsing foo.c (with preprocessing) [kernel] Parsing ocode_0_clash_double_file_bts1598.c (with preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
#include "__fc_builtin.h" #include "__fc_builtin.h"
#include "assert.h" #include "assert.h"
......
[kernel] Parsing rm_qualifiers.i (no preprocessing) [kernel] Parsing rm_qualifiers.i (no preprocessing)
[kernel] Parsing rm_qualifiers_res.i (no preprocessing) [kernel] Parsing ocode_0_rm_qualifiers.i (no preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
extern void G(void const *p); extern void G(void const *p);
......
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