diff --git a/tests/idct/diff_equalities b/tests/idct/diff_equalities index 6d1b02bed20ea33526cb44e99c993a8b13876539..4ed73b90e44bd7a7e5fb827e497ac3b792169bb2 100644 --- a/tests/idct/diff_equalities +++ b/tests/idct/diff_equalities @@ -130,3 +130,7 @@ diff tests/idct/oracle/ieee_1180_1990.res.oracle tests/idct/oracle_equalities/ie > 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