From 4bb7f8e636591eda34b661cbf7316da4573d9b49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 4 Apr 2019 14:18:04 +0200
Subject: [PATCH] [Eva] Updates alternative test oracles.

---
 tests/idct/diff_equalities | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/idct/diff_equalities b/tests/idct/diff_equalities
index 6d1b02bed20..4ed73b90e44 100644
--- a/tests/idct/diff_equalities
+++ b/tests/idct/diff_equalities
@@ -130,3 +130,7 @@ diff tests/idct/oracle/ieee_1180_1990.res.oracle tests/idct/oracle_equalities/ie
 >   Call to builtin Frama_C_cos for function cos
 > [eva] tests/idct/ieee_1180_1990.c:140: 
 >   Call to builtin Frama_C_sqrt for function sqrt
+980c1060
+<     by the Eva analyzer:      0 errors   42 warnings
+---
+>     by the Eva analyzer:      0 errors   48 warnings
-- 
GitLab