From 96fd47bd797c373c4476ec3bb01f2e8aa66143a5 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 5 May 2011 08:09:55 +0000
Subject: [PATCH] update oracles according to changes of kernel message
---
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle | 2 +-
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle | 1 +
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle | 1 +
3 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
index 0541e861132..69fdc5c217b 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
@@ -94,7 +94,7 @@ PROJECT_FILE.i:145:[value] Assertion got status valid.
[value] Done for function mpz_init
[value] computing for function mpz_com <- main.
Called from PROJECT_FILE.i:149.
-[kernel] No code for function mpz_com, default assigns generated
+[kernel] warning: No code for function mpz_com, default assigns generated
[value] Done for function mpz_com
[value] computing for function mpz_cmp <- main.
Called from PROJECT_FILE.i:150.
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
index 8438c04ee4e..c789997e5fa 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.err.oracle
@@ -1,3 +1,4 @@
gcc: autom4te.cache/: linker input file unused because linking not done
+gcc: doc/: linker input file unused because linking not done
gcc: share/: linker input file unused because linking not done
gcc: tests/: linker input file unused because linking not done
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
index 36ef1e3e940..9464c770e75 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
@@ -1,4 +1,5 @@
[kernel] preprocessing with "gcc -C -E -I. autom4te.cache/"
+[kernel] preprocessing with "gcc -C -E -I. doc/"
[kernel] preprocessing with "gcc -C -E -I. share/"
[kernel] preprocessing with "gcc -C -E -I. tests/"
/* Generated by Frama-C */
--
GitLab