From b520b8259cda07a248ab214ff7c5d7d5687dc340 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 17 Jan 2020 15:29:06 +0100
Subject: [PATCH] [e-acsl] Update test oracles.

The builtin __fc_vla_alloc is used for the generated function __builtin_alloca,
whose name is indeed "__fc_vla_alloc".
---
 src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle b/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
index f6a8b30c854..5a7dfb6eba8 100644
--- a/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
+++ b/src/plugins/e-acsl/tests/memory/oracle_ci/vla.res.oracle
@@ -3,4 +3,4 @@
 [eva:alarm] tests/memory/vla.c:8: Warning: 
   function __e_acsl_assert: precondition got status unknown.
 [eva:alarm] tests/memory/vla.c:12: Warning: 
-  function __e_acsl_assert: precondition got status invalid.
+  function __e_acsl_assert: precondition got status unknown.
-- 
GitLab