From 78f0fe93b80fa3f82a1d59dbadf76ee5d341d8c5 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Thu, 10 Dec 2015 14:38:10 +0100 Subject: [PATCH] [tests] fix oracle wrt RTE changes --- .../e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle index c79ae4bf45f..67f5d8e0435 100644 --- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle +++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/lazy.0.res.oracle @@ -1,7 +1,4 @@ [e-acsl] beginning translation. -tests/e-acsl-runtime/lazy.i:12:[rte] warning: divisor assert broken: 0 ≢ 0 -tests/e-acsl-runtime/lazy.i:14:[rte] warning: divisor assert broken: 0 ≢ 0 -tests/e-acsl-runtime/lazy.i:16:[rte] warning: divisor assert broken: 0 ≢ 0 [e-acsl] translation done in project "e-acsl". [value] Analyzing a complete application starting at main [value] Computing initial state -- GitLab