From 85feaf4d70a6b7b84d5b19746c98795808aa2ba9 Mon Sep 17 00:00:00 2001
From: Alexandre DOYEN <alexandre.doyen@cea.fr>
Date: Tue, 16 Apr 2024 17:26:48 +0200
Subject: [PATCH] Test pour la CI !

---
 tests/syntax/oracle/vla_multidim.1.res.oracle | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/tests/syntax/oracle/vla_multidim.1.res.oracle b/tests/syntax/oracle/vla_multidim.1.res.oracle
index 09f9c527f3c..0d6e919574f 100644
--- a/tests/syntax/oracle/vla_multidim.1.res.oracle
+++ b/tests/syntax/oracle/vla_multidim.1.res.oracle
@@ -1,13 +1,10 @@
 [kernel] Parsing vla_multidim.c (with preprocessing)
 [kernel] vla_multidim.c:15: User Error: 
-  Array length n is not a compile-time constant,
-  and currently VLAs may only have their first dimension as variable.
+  "Variable length array in structure" extension is not supported
 [kernel] vla_multidim.c:16: User Error: 
-  Array length n is not a compile-time constant,
-  and currently VLAs may only have their first dimension as variable.
+  "Variable length array in structure" extension is not supported
 [kernel] vla_multidim.c:17: User Error: 
-  Array length n is not a compile-time constant,
-  and currently VLAs may only have their first dimension as variable.
+  "Variable length array in structure" extension is not supported
 [kernel] User Error: stopping on file "vla_multidim.c" that has errors. Add '-kernel-msg-key pp'
   for preprocessing command.
 [kernel] Frama-C aborted: invalid user input.
-- 
GitLab