[Eva] Updates test oracles.

tests/value/oracle/octagons.res.oracle

@@ -218,10 +218,7 @@
   Called from octagons.c:184.
 [eva] Recording results for neg
 [eva] Done for function neg
-[eva] computing for function neg <- interprocedural <- main.
-  Called from octagons.c:185.
-[eva] Recording results for neg
-[eva] Done for function neg
+[eva] octagons.c:185: Reusing old results for call to neg
 [eva] computing for function diff <- interprocedural <- main.
   Called from octagons.c:194.
 [eva] Recording results for diff

tests/value/oracle_apron/octagons.res.oracle

-358,361c358,361
+221c221,224
+< [eva] octagons.c:185: Reusing old results for call to neg
+---
+> [eva] computing for function neg <- interprocedural <- main.
+>   Called from octagons.c:185.
+> [eva] Recording results for neg
+> [eva] Done for function neg
+355,358c358,361
 <   a ∈ [-1024..2147483647]
 <   b ∈ [-1023..2147483647]
 <   c ∈ [-1023..2147483647]

tests/value/oracle_equality/octagons.res.oracle

@@ -2,7 +2,14 @@
 < [eva] octagons.c:54: Frama_C_show_each_unreduced_char: [-128..127], [-128..127]
 ---
 > [eva] octagons.c:54: Frama_C_show_each_unreduced_char: [-118..114], [6..127]
-345c345
+221c221,224
+< [eva] octagons.c:185: Reusing old results for call to neg
+---
+> [eva] computing for function neg <- interprocedural <- main.
+>   Called from octagons.c:185.
+> [eva] Recording results for neg
+> [eva] Done for function neg
+342c345
 <   ct ∈ [--..--] or UNINITIALIZED
 ---
 >   ct ∈ [6..127] or UNINITIALIZED

tests/value/oracle_gauges/octagons.res.oracle

@@ -11,7 +11,7 @@
 < [eva] octagons.c:143: Frama_C_show_each_imprecise: [-2147483648..1]
 ---
 > [eva] octagons.c:143: Frama_C_show_each_imprecise: [-2468..1]
-358,361c350,353
+355,358c347,350
 <   a ∈ [-1024..2147483647]
 <   b ∈ [-1023..2147483647]
 <   c ∈ [-1023..2147483647]
@@ -21,7 +21,7 @@
 >   b ∈ [-181..1867]
 >   c ∈ [-602..1446]
 >   d ∈ [-190..1874]
-363c355
+360c352
 <   d2 ∈ [-2147483648..1]
 ---
 >   d2 ∈ [-2468..1]