diff --git a/tests/syntax/oracle/vla_multidim.1.res.oracle b/tests/syntax/oracle/vla_multidim.1.res.oracle index 09f9c527f3c5e955e651df57f5b5967bba4f1a8a..0d6e919574f6e0a6c3fc8537f944406446dae4d1 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.