From 05003f6c0be8dd90b43bba88044604635ed804ce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 12 May 2021 19:56:19 +0200
Subject: [PATCH] [Eva] Updates test oracles.
---
tests/value/oracle/partitioning-annots.2.res.oracle | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tests/value/oracle/partitioning-annots.2.res.oracle b/tests/value/oracle/partitioning-annots.2.res.oracle
index 64a0b52e080..dde4f315592 100644
--- a/tests/value/oracle/partitioning-annots.2.res.oracle
+++ b/tests/value/oracle/partitioning-annots.2.res.oracle
@@ -36,14 +36,14 @@
Frama_C_show_each_before_first_merge: {0}, {0}, {0}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {2}, {1}
-[eva] tests/value/partitioning-annots.c:87:
- Frama_C_show_each_before_second_merge: {0}, {2}, {0}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {1}, {1}
-[eva] tests/value/partitioning-annots.c:87:
- Frama_C_show_each_before_second_merge: {0}, {1}, {0}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {1}, {0}, {1}
+[eva] tests/value/partitioning-annots.c:87:
+ Frama_C_show_each_before_second_merge: {0}, {2}, {0}
+[eva] tests/value/partitioning-annots.c:87:
+ Frama_C_show_each_before_second_merge: {0}, {1}, {0}
[eva] tests/value/partitioning-annots.c:87:
Frama_C_show_each_before_second_merge: {0}, {0}, {0}
[eva] tests/value/partitioning-annots.c:89:
--
GitLab