From 69ab5ecf4724808de0e275ea180160ec52d84cad Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.oliveiramaroneze@cea.fr> Date: Tue, 16 May 2017 10:13:33 +0200 Subject: [PATCH] synchronize with frama-c/frama-c!1324 --- .../e-acsl/tests/runtime/oracle/initialized.res.oracle | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/plugins/e-acsl/tests/runtime/oracle/initialized.res.oracle b/src/plugins/e-acsl/tests/runtime/oracle/initialized.res.oracle index 81b19d24dfe..b32f9af2834 100644 --- a/src/plugins/e-acsl/tests/runtime/oracle/initialized.res.oracle +++ b/src/plugins/e-acsl/tests/runtime/oracle/initialized.res.oracle @@ -3,11 +3,11 @@ FRAMAC_SHARE/e-acsl/e_acsl.h:43:[value] warning: function __e_acsl_assert: precondition got status unknown. tests/runtime/initialized.c:66:[value] warning: assertion got status unknown. tests/runtime/initialized.c:70:[value] warning: assertion got status unknown. -FRAMAC_SHARE/libc/stdlib.h:347:[value] warning: function realloc: precondition got status unknown. -FRAMAC_SHARE/libc/stdlib.h:362:[value] warning: function realloc, behavior dealloc: precondition got status unknown. +FRAMAC_SHARE/libc/stdlib.h:348:[value] warning: function realloc: precondition got status unknown. +FRAMAC_SHARE/libc/stdlib.h:363:[value] warning: function realloc, behavior dealloc: precondition got status unknown. tests/runtime/initialized.c:75:[value] warning: assertion got status unknown. tests/runtime/initialized.c:77:[value] warning: assertion got status unknown. -FRAMAC_SHARE/libc/stdlib.h:334:[value] warning: function free, behavior deallocation: precondition 'freeable' got status unknown. +FRAMAC_SHARE/libc/stdlib.h:335:[value] warning: function free, behavior deallocation: precondition 'freeable' got status unknown. tests/runtime/initialized.c:85:[value] warning: assertion got status unknown. tests/runtime/initialized.c:86:[value] warning: assertion got status unknown. tests/runtime/initialized.c:94:[value] warning: assertion got status unknown. -- GitLab