From 3b9e73082427177ed1b641a90554137e40e613ea Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 4 Mar 2020 15:44:15 +0100 Subject: [PATCH] [tests] fix E-ACSL oracle in dev config --- src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle b/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle index ab4a875d1ad..590199db8f0 100644 --- a/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle +++ b/src/plugins/e-acsl/tests/arith/oracle_dev/rationals.res.oracle @@ -1,4 +1,4 @@ [kernel] Parsing tests/arith/rationals.c (with preprocessing) -[kernel:parser:decimal-float] tests/arith/rationals.c:20: Warning: +[kernel:parser:decimal-float] tests/arith/rationals.c:19: Warning: Floating-point constant 0.2f is not represented exactly. Will use 0x1.99999a0000000p-3. (warn-once: no further messages from category 'parser:decimal-float' will be emitted) -- GitLab