diff tests/idct/oracle/ieee_1180_1990.res.oracle tests/idct/oracle_equalities/ieee_1180_1990.res.oracle
356a357,358
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:219: Warning: 
>   2's complement assumed for overflow
360a363,364
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:220: Warning: 
>   2's complement assumed for overflow
366,367d369
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:219: Warning: 
<   2's complement assumed for overflow
392a395,396
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:243: Warning: 
>   2's complement assumed for overflow
396a401,402
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:244: Warning: 
>   2's complement assumed for overflow
402,403d407
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:243: Warning: 
<   2's complement assumed for overflow
424a429,436
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
437a450,451
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:265: Warning: 
>   2's complement assumed for overflow
441a456,457
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:266: Warning: 
>   2's complement assumed for overflow
447,448d462
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:265: Warning: 
<   2's complement assumed for overflow
466a481,482
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:289: Warning: 
>   2's complement assumed for overflow
470a487,488
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:290: Warning: 
>   2's complement assumed for overflow
476,477d493
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:289: Warning: 
<   2's complement assumed for overflow
498a515,522
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
511a536,537
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:311: Warning: 
>   2's complement assumed for overflow
515a542,543
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:312: Warning: 
>   2's complement assumed for overflow
521,522d548
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:311: Warning: 
<   2's complement assumed for overflow
540a567,568
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:335: Warning: 
>   2's complement assumed for overflow
544a573,574
> [eva:signed-overflow] tests/idct/ieee_1180_1990.c:336: Warning: 
>   2's complement assumed for overflow
550,551d579
< [eva:signed-overflow] tests/idct/ieee_1180_1990.c:335: Warning: 
<   2's complement assumed for overflow
571a600,607
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
> [eva] tests/idct/ieee_1180_1990.c:85: 
>   Reusing old results for call to IEEE_1180_1990_rand
579a616,633
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:101: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:101: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:101: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:101: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
581a636,637
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
583a640,641
> [eva] tests/idct/ieee_1180_1990.c:100: 
>   Call to builtin Frama_C_sqrt for function sqrt
605a664,677
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:141: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:141: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:141: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
607a680,681
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
609a684,689
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
> [eva] tests/idct/ieee_1180_1990.c:141: 
>   Call to builtin Frama_C_cos for function cos
> [eva] tests/idct/ieee_1180_1990.c:140: 
>   Call to builtin Frama_C_sqrt for function sqrt
980c1060
<     by the Eva analyzer:      0 errors   42 warnings
---
>     by the Eva analyzer:      0 errors   48 warnings
