[eacsl] Update tests

src/plugins/e-acsl/tests/builtin/builtin_literal_string.c

+/*
+  Test literal string replacement in builtin arguments
+*/
+
+#include <string.h>
+
+int main() {
+  strlen("a cow");
+  return 0;
+}

src/plugins/e-acsl/tests/builtin/builtin_literal_string_local_init.c

+/*
+  Test literal string replacement in builtin arguments on a local init
+*/
+
+#include <string.h>
+
+int main() {
+  size_t len = strlen("a horse");
+  return 0;
+}

src/plugins/e-acsl/tests/builtin/oracle_ci/builtin_literal_string.res.oracle

+[e-acsl] beginning translation.
+[e-acsl] translation done in project "e-acsl".

src/plugins/e-acsl/tests/builtin/oracle_ci/builtin_literal_string_local_init.res.oracle

+[e-acsl] beginning translation.
+[e-acsl] translation done in project "e-acsl".

src/plugins/e-acsl/tests/builtin/oracle_ci/gen_builtin_literal_string.c

+/* Generated by Frama-C */
+#include "stddef.h"
+#include "stdio.h"
+#include "string.h"
+char *__gen_e_acsl_literal_string;
+void __e_acsl_globals_init(void)
+{
+  static char __e_acsl_already_run = 0;
+  if (! __e_acsl_already_run) {
+    __e_acsl_already_run = 1;
+    __gen_e_acsl_literal_string = "a cow";
+    __e_acsl_store_block((void *)__gen_e_acsl_literal_string,sizeof("a cow"));
+    __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
+    __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
+  }
+  return;
+}
+
+int main(void)
+{
+  int __retres;
+  __e_acsl_memory_init((int *)0,(char ***)0,(size_t)8);
+  __e_acsl_globals_init();
+  __e_acsl_builtin_strlen(__gen_e_acsl_literal_string);
+  __retres = 0;
+  __e_acsl_memory_clean();
+  return __retres;
+}
+
+

src/plugins/e-acsl/tests/builtin/oracle_ci/gen_builtin_literal_string_local_init.c

+/* Generated by Frama-C */
+#include "stddef.h"
+#include "stdio.h"
+#include "string.h"
+char *__gen_e_acsl_literal_string;
+void __e_acsl_globals_init(void)
+{
+  static char __e_acsl_already_run = 0;
+  if (! __e_acsl_already_run) {
+    __e_acsl_already_run = 1;
+    __gen_e_acsl_literal_string = "a horse";
+    __e_acsl_store_block((void *)__gen_e_acsl_literal_string,
+                         sizeof("a horse"));
+    __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
+    __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
+  }
+  return;
+}
+
+int main(void)
+{
+  int __retres;
+  __e_acsl_memory_init((int *)0,(char ***)0,(size_t)8);
+  __e_acsl_globals_init();
+  size_t len = __e_acsl_builtin_strlen(__gen_e_acsl_literal_string);
+  __retres = 0;
+  __e_acsl_memory_clean();
+  return __retres;
+}
+
+