From 83e38d36b66875e9c651c83f1b5764530d114dec Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 24 Jun 2015 09:27:37 +0200
Subject: [PATCH] [tests] update wrt printer changes
---
src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c | 3 +--
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c | 3 +--
src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c | 3 +--
3 files changed, 3 insertions(+), 6 deletions(-)
diff --git a/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c b/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
index 686c78bb30d..918ee715833 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
+++ b/src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c
@@ -167,8 +167,7 @@ int main(void)
i = 4;
while (1) {
int tmp;
- {
- /*sequence*/
+ { /* sequence */
tmp = i;
i --;
;
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
index a4bb6efa875..acac3c564bb 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong.c
@@ -127,8 +127,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
__retres = (unsigned long long)1;
goto return_label;
}
- {
- /*sequence*/
+ { /* sequence */
tmp_0 = my_pow(x,n / (unsigned int)2);
tmp = (int)tmp_0;
}
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
index 983c49f3da4..a885cae4316 100644
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
+++ b/src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_longlong2.c
@@ -122,8 +122,7 @@ unsigned long long my_pow(unsigned int x, unsigned int n)
__retres = (unsigned long long)1;
goto return_label;
}
- {
- /*sequence*/
+ { /* sequence */
tmp_0 = my_pow(x,n / (unsigned int)2);
tmp = (int)tmp_0;
}
--
GitLab