[Eva] Updates alternative test oracles.

tests/float/oracle_equalities/const3.1.res.oracle

-23c23
+25c25
 <   d1 ∈ [0x1.16c2000000000p-133 .. 0x1.16c3000000000p-133]
 ---
 >   d1 ∈ {0x1.16c2000000000p-133}

tests/float/oracle_equalities/dr.2.res.oracle

-25c25
+27c27
 < [eva] tests/float/dr.i:26: Frama_C_show_each: {0; 1}, {0; 1}
 ---
 > [eva] tests/float/dr.i:26: Frama_C_show_each: {1}, {0; 1}
-30c30
+32c32
 <   e1 ∈ {0; 1}
 ---
 >   e1 ∈ {1}

tests/value/oracle_apron/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json

tests/value/oracle_bitwise/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json

tests/value/oracle_equalities/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json

tests/value/oracle_gauges/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json

tests/value/oracle_octagons/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json

tests/value/oracle_symblocs/audit.res.oracle

-1,8d0
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit.c: got 08f73691217888d926a0ee15cbe18159, expected 01010101010101010101010101010101
-< [kernel:audit] Warning: 
-<   different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
-< [kernel:audit] Warning: 
-<   missing files:
-<   tests/value/non_existing_file.h
-< [kernel] Audit: sources list written to: tests/value/result/audit-out.json
-34d25
-< [kernel] Wrote: tests/value/result/audit-out.json