From 48af2ed3bbf95c046d6cd6eabc958d36f1020a77 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 22 Feb 2023 17:41:48 +0100
Subject: [PATCH] [tests] update oracle with new ppc_32 machdep config

---
 tests/value/oracle/recol.1.res.oracle | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/value/oracle/recol.1.res.oracle b/tests/value/oracle/recol.1.res.oracle
index 89f1f21dd12..23eb96edca7 100644
--- a/tests/value/oracle/recol.1.res.oracle
+++ b/tests/value/oracle/recol.1.res.oracle
@@ -23,10 +23,10 @@
 [eva:final-states] Values at end of function main:
   s[bits 0 to 15] ∈ {97}
    [bits 16 to 47] ∈ {776}
-   [6] ∈ {-103}
+   [6] ∈ {153}
    [bits 56 to 71] ∈ {-26736}
    [bits 72 to 103] ∈ {271697}
-   [13] ∈ {-104}
+   [13] ∈ {152}
    [bits 112 to 127] ∈ {10121}
    [bits 128 to 159] ∈ {93197600}
    [20] ∈ {65}
@@ -52,8 +52,8 @@
    [bits 552 to 583] ∈ {1373000945}
    [bits 584 to 599] ∈ {21240}
    [75] ∈ {41}
-   [76] ∈ {-128}
-   [77] ∈ {-31}
+   [76] ∈ {128}
+   [77] ∈ {225}
    [bits 624 to 655] ∈ {-832127096}
    [82] ∈ {25}
    [83] ∈ {16}
-- 
GitLab