From 7e2ceb2920df3ac19243c25a9947147b3eda7e3c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 20 Mar 2020 12:38:06 +0100
Subject: [PATCH] [eacsl:tests] Update test results following the merge of
!2574 on master
---
.../oracle_ci/gen_bts1386_complex_flowgraph.c | 9 ++++++--
.../tests/bts/oracle_ci/gen_issue-eacsl-91.c | 21 ++++++++++++-------
2 files changed, 20 insertions(+), 10 deletions(-)
diff --git a/src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c b/src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c
index 545ac34e904..5f3956f765f 100644
--- a/src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c
+++ b/src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c
@@ -272,6 +272,12 @@ void __e_acsl_globals_init(void)
return;
}
+void __e_acsl_globals_delete(void)
+{
+ __e_acsl_delete_block((void *)(target));
+ __e_acsl_delete_block((void *)(source));
+}
+
int main(void)
{
int __retres;
@@ -280,8 +286,7 @@ int main(void)
initialize(source,100);
duffcopy(source,target,43);
__retres = 0;
- __e_acsl_delete_block((void *)(target));
- __e_acsl_delete_block((void *)(source));
+ __e_acsl_globals_delete();
__e_acsl_memory_clean();
return __retres;
}
diff --git a/src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c b/src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c
index 0a5c6762700..519c77cc7f1 100644
--- a/src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c
+++ b/src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c
@@ -58,15 +58,8 @@ void __e_acsl_globals_init(void)
return;
}
-int main(void)
+void __e_acsl_globals_delete(void)
{
- int __retres;
- __e_acsl_memory_init((int *)0,(char ***)0,(size_t)8);
- __e_acsl_globals_init();
- __e_acsl_store_block((void *)(& __retres),(size_t)4);
- b();
- __e_acsl_full_init((void *)(& __retres));
- __retres = 0;
__e_acsl_delete_block((void *)(& b));
__e_acsl_delete_block((void *)(& a));
__e_acsl_delete_block((void *)(& __fc_p_tmpnam));
@@ -78,7 +71,19 @@ int main(void)
__e_acsl_delete_block((void *)(random48_counter));
__e_acsl_delete_block((void *)(& __fc_random48_init));
__e_acsl_delete_block((void *)(& __fc_rand_max));
+}
+
+int main(void)
+{
+ int __retres;
+ __e_acsl_memory_init((int *)0,(char ***)0,(size_t)8);
+ __e_acsl_globals_init();
+ __e_acsl_store_block((void *)(& __retres),(size_t)4);
+ b();
+ __e_acsl_full_init((void *)(& __retres));
+ __retres = 0;
__e_acsl_delete_block((void *)(& __retres));
+ __e_acsl_globals_delete();
__e_acsl_memory_clean();
return __retres;
}
--
GitLab