From 4db643c9f2c2c9a193bc446e3eaf77ba88a20c47 Mon Sep 17 00:00:00 2001
From: Pierre Nigron <pierre.nigron@cea.fr>
Date: Thu, 20 Jul 2023 14:45:29 +0200
Subject: [PATCH] [tests] Update Oracles

---
 tests/cil/oracle/cpu_a.res.oracle | 1 +
 tests/cil/oracle/cpu_b.res.oracle | 1 +
 2 files changed, 2 insertions(+)

diff --git a/tests/cil/oracle/cpu_a.res.oracle b/tests/cil/oracle/cpu_a.res.oracle
index 5869d63e5dd..e5bceb82f96 100644
--- a/tests/cil/oracle/cpu_a.res.oracle
+++ b/tests/cil/oracle/cpu_a.res.oracle
@@ -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)
diff --git a/tests/cil/oracle/cpu_b.res.oracle b/tests/cil/oracle/cpu_b.res.oracle
index 30fde145f12..15d585c0887 100644
--- a/tests/cil/oracle/cpu_b.res.oracle
+++ b/tests/cil/oracle/cpu_b.res.oracle
@@ -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);
-- 
GitLab