From 390781b3ef9daad777267a2d9b21a9e4dfab9e0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 12 Jan 2023 15:26:26 +0100
Subject: [PATCH] [Eva] Updates test oracles for alternative domains.

---
 tests/value/oracle_apron/partitioning-annots.0.res.oracle   | 6 ++++++
 tests/value/oracle_octagon/partitioning-annots.0.res.oracle | 6 ++++++
 2 files changed, 12 insertions(+)
 create mode 100644 tests/value/oracle_apron/partitioning-annots.0.res.oracle
 create mode 100644 tests/value/oracle_octagon/partitioning-annots.0.res.oracle

diff --git a/tests/value/oracle_apron/partitioning-annots.0.res.oracle b/tests/value/oracle_apron/partitioning-annots.0.res.oracle
new file mode 100644
index 00000000000..94ed9ffca14
--- /dev/null
+++ b/tests/value/oracle_apron/partitioning-annots.0.res.oracle
@@ -0,0 +1,6 @@
+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ [31..44]
+>   y ∈ [31..44]
diff --git a/tests/value/oracle_octagon/partitioning-annots.0.res.oracle b/tests/value/oracle_octagon/partitioning-annots.0.res.oracle
new file mode 100644
index 00000000000..cd64a1b908f
--- /dev/null
+++ b/tests/value/oracle_octagon/partitioning-annots.0.res.oracle
@@ -0,0 +1,6 @@
+105,106c105,106
+<   x ∈ [0..44]
+<   y ∈ [0..44]
+---
+>   x ∈ {31; 32; 44}
+>   y ∈ {31; 32; 44}
-- 
GitLab