Skip to content
Snippets Groups Projects
Commit 4db643c9 authored by Pierre Nigron's avatar Pierre Nigron
Browse files

[tests] Update Oracles

parent 8629c4e1
No related branches found
No related tags found
No related merge requests found
......@@ -2,6 +2,7 @@
[kernel] Parsing cpu_b.c (with preprocessing)
[kernel] cpu_b.c:7: Warning:
Integer compatibily is machine-dependant : unsigned short and unsigned int
[kernel] Warning: Conflicting definitions are between files cpu_a.c and cpu_b.c
/* Generated by Frama-C */
typedef unsigned short DWORD;
DWORD f(void)
......
......@@ -2,6 +2,7 @@
[kernel] Parsing cpu_a.c (with preprocessing)
[kernel] cpu_a.c:6: Warning:
Integer compatibily is machine-dependant : unsigned int and unsigned short
[kernel] Warning: Conflicting definitions are between files cpu_b.c and cpu_a.c
/* Generated by Frama-C */
typedef unsigned int DWORD;
DWORD f(void);
......
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