From 24f672b2bac9fcb0362b51cd1972c11761274470 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Fri, 7 May 2021 22:17:00 +0200 Subject: [PATCH] update test oracles --- tests/libc/oracle/fc_libc.0.res.oracle | 2 +- tests/libc/oracle/fc_libc.2.res.oracle | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/libc/oracle/fc_libc.0.res.oracle b/tests/libc/oracle/fc_libc.0.res.oracle index 7955573b0c8..27d51d73125 100644 --- a/tests/libc/oracle/fc_libc.0.res.oracle +++ b/tests/libc/oracle/fc_libc.0.res.oracle @@ -7,10 +7,10 @@ [eva] Initial state computed [eva:initial-state] Values of globals at initialization -[eva] tests/libc/fc_libc.c:158: assertion got status valid. [eva] tests/libc/fc_libc.c:159: assertion got status valid. [eva] tests/libc/fc_libc.c:160: assertion got status valid. [eva] tests/libc/fc_libc.c:161: assertion got status valid. +[eva] tests/libc/fc_libc.c:162: assertion got status valid. [eva] Recording results for main [eva] done for function main [eva] ====== VALUES COMPUTED ====== diff --git a/tests/libc/oracle/fc_libc.2.res.oracle b/tests/libc/oracle/fc_libc.2.res.oracle index 3061c00a626..79d97d4b449 100644 --- a/tests/libc/oracle/fc_libc.2.res.oracle +++ b/tests/libc/oracle/fc_libc.2.res.oracle @@ -124,6 +124,7 @@ skipping share/libc/tgmath.h [kernel] Parsing share/libc/time.h (with preprocessing) [kernel] Parsing share/libc/unistd.h (with preprocessing) [kernel] Parsing share/libc/utime.h (with preprocessing) +[kernel] Parsing share/libc/utmp.h (with preprocessing) [kernel] Parsing share/libc/utmpx.h (with preprocessing) [kernel] Parsing share/libc/wchar.h (with preprocessing) [kernel] Parsing share/libc/wctype.h (with preprocessing) -- GitLab