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

[tests] fix test extension

parent 5edd5022
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/syntax/libc_defs.h → tests/syntax/libc_defs.c
+ 0
− 0
View file @ a2ca21f3
File moved
tests/syntax/oracle/libc_defs.res.oracle
+ 1
− 1
View file @ a2ca21f3
[kernel] Parsing tests/syntax/libc_defs.h (with preprocessing) [kernel] Parsing tests/syntax/libc_defs.c (with preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
#include "errno.c" #include "errno.c"
#include "errno.h" #include "errno.h"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment