[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".

[e-acsl] Update test oracles.
b520b825 · David Bühler · d266aba4 · b520b825
Commit b520b825 authored 5 years ago by David Bühler
--- 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.