diff --git a/tests/value/oracle/recol.1.res.oracle b/tests/value/oracle/recol.1.res.oracle
index 89f1f21dd124e2d9ebfc2e09cc6ccec64f318aa4..23eb96edca7dc95f69bc4907078beeec131dfea0 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}