[Value] adds test oracles for -config equalities

tests/test_config_equalities

 MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains equality
 MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -machdep x86_32
+
+# Compare the result with the oracle of the default config.
+FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
+
 OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps

tests/value/oracle_equalities/CruiseControl.res.oracle

+980c980
+<        [0]._C4_ThrottleCmd._I0_Regul_ON ∈ {0; 1}
+---
+>        [0]._C4_ThrottleCmd._I0_Regul_ON ∈ {1}
+1018c1018
+<        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle{._I0_ThrottleIn; ._O0_ThrottleOut} ∈
+---
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle._I0_ThrottleIn ∈
+1019a1020,1021
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle._O0_ThrottleOut ∈
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]
+1033c1035
+<        [-1.9999998807907104*2^127 .. 1.9999998807907104*2^127]
+---
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]
+1218c1220
+<        [0]._C4_ThrottleCmd._I0_Regul_ON ∈ {0; 1}
+---
+>        [0]._C4_ThrottleCmd._I0_Regul_ON ∈ {1}
+1230c1232,1236
+<        [0]._C4_ThrottleCmd._C0_ThrottleRegulation{._I1_CruiseSpeed; ._I2_VehiculeSpeed; ._O0_Throttle; ._L1_CruiseControl; ._L2_CruiseControl; ._L3_CruiseControl} ∈
+---
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation{._I1_CruiseSpeed; ._I2_VehiculeSpeed} ∈
+>        [-1.9999998807907104*2^127 .. 1.9999998807907104*2^127]
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._O0_Throttle ∈
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation{._L1_CruiseControl; ._L2_CruiseControl; ._L3_CruiseControl} ∈
+1248c1254
+<        [0]._C4_ThrottleCmd._C0_ThrottleRegulation{._L4_CruiseControl; ._L13_CruiseControl} ∈
+---
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._L4_CruiseControl ∈
+1249a1256,1257
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._L13_CruiseControl ∈
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]
+1256c1264
+<        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle{._I0_ThrottleIn; ._O0_ThrottleOut} ∈
+---
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle._I0_ThrottleIn ∈
+1257a1266,1267
+>        [0]._C4_ThrottleCmd._C0_ThrottleRegulation._C0_SaturateThrottle._O0_ThrottleOut ∈
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]
+1271c1281
+<        [-1.9999998807907104*2^127 .. 1.9999998807907104*2^127]
+---
+>        [-0.0000000000000000 .. 1.9999998807907104*2^127]

tests/value/oracle_equalities/addition.res.oracle

+138,141d137
+< [eva:alarm] tests/value/addition.i:61: Warning: 
+<   signed overflow. assert -2147483648 ≤ (int)*((char *)(&q1)) + 2;
+< [eva:alarm] tests/value/addition.i:61: Warning: 
+<   signed overflow. assert (int)*((char *)(&q1)) + 2 ≤ 2147483647;
+168c164
+< [scope:rm_asserts] removing 9 assertion(s)
+---
+> [scope:rm_asserts] removing 7 assertion(s)
+407,410d402
+< [eva:alarm] tests/value/addition.i:61: Warning: 
+<   signed overflow. assert -2147483648 ≤ (int)*((char *)(&q1)) + 2;
+< [eva:alarm] tests/value/addition.i:61: Warning: 
+<   signed overflow. assert (int)*((char *)(&q1)) + 2 ≤ 2147483647;
+433c425
+< [scope:rm_asserts] removing 9 assertion(s)
+---
+> [scope:rm_asserts] removing 7 assertion(s)

tests/value/oracle_equalities/alias.0.res.oracle

+103,104c103,104
+<   t ∈ {1; 2; 4}
+<   u ∈ {2; 3; 4; 5}
+---
+>   t ∈ {4}
+>   u ∈ {5}
+110c110
+<   t2 ∈ {0; 3; 6}
+---
+>   t2 ∈ {6}

tests/value/oracle_equalities/alias.1.res.oracle

+85c85
+<   z ∈ {0; 1; 2}
+---
+>   z ∈ {0; 2}
+87,88c87,88
+<   v2 ∈ {-1; 0; 1; 2; 3; 4}
+<   PTR1 ∈ {{ &p2{[0], [1], [2]} }}
+---
+>   v2 ∈ {0; 1; 2}
+>   PTR1 ∈ {{ &p2{[0], [1]} }}
+90c90
+<   PTR3 ∈ {{ &p2{[1], [2], [4]} }}
+---
+>   PTR3 ∈ {{ &p2{[1], [2]} }}
+110c110
+<   t2 FROM p2[0..2]; c
+---
+>   t2 FROM p2[0..1]; c

tests/value/oracle_equalities/alias.2.res.oracle

+76c76
+<   z ∈ {-5; -4; -3; -2; -1; 0; 1; 1000}
+---
+>   z ∈ {-2; -1; 0; 1000}