From c878052aaf075949eac4179e5ccc1a50f6f041c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 19 Oct 2021 14:43:33 +0200
Subject: [PATCH] [Eva] Updates alternative test oracles.

---
 .../oracle_apron/partitioning-interproc.0.res.oracle  | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/value/oracle_apron/partitioning-interproc.0.res.oracle

diff --git a/tests/value/oracle_apron/partitioning-interproc.0.res.oracle b/tests/value/oracle_apron/partitioning-interproc.0.res.oracle
new file mode 100644
index 00000000000..e64c57f2731
--- /dev/null
+++ b/tests/value/oracle_apron/partitioning-interproc.0.res.oracle
@@ -0,0 +1,11 @@
+16,17c16,22
+< [eva] tests/value/partitioning-interproc.c:30: 
+<   Reusing old results for call to cassign
+---
+> [eva] computing for function cassign <- cassign_test.
+>   Called from tests/value/partitioning-interproc.c:30.
+> [eva] computing for function Frama_C_nondet <- cassign <- cassign_test.
+>   Called from tests/value/partitioning-interproc.c:11.
+> [eva] Done for function Frama_C_nondet
+> [eva] Recording results for cassign
+> [eva] Done for function cassign
-- 
GitLab