From 426884d8dc4df10161d67114eca27c3139d97e1c Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 13 Sep 2016 10:43:03 +0200
Subject: [PATCH] Stylistic issues in bts2191
---
src/plugins/e-acsl/tests/bts/bts2191.c | 4 ++++
src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/tests/bts/bts2191.c b/src/plugins/e-acsl/tests/bts/bts2191.c
index 0291959acba..8ce8acf7fa8 100644
--- a/src/plugins/e-acsl/tests/bts/bts2191.c
+++ b/src/plugins/e-acsl/tests/bts/bts2191.c
@@ -1,3 +1,7 @@
+/* run.config
+ COMMENT: bts #2191, issue with unrolling types of struct members
+*/
+
struct ST {
char *str;
int num;
diff --git a/src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c b/src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c
index 25a3068c5ea..a4f6f4a9c2c 100644
--- a/src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c
+++ b/src/plugins/e-acsl/tests/bts/oracle/gen_bts2191.c
@@ -44,7 +44,7 @@ int main(int argc, char **argv)
}
else __gen_e_acsl_and = 0;
__e_acsl_assert(__gen_e_acsl_and,(char *)"Assertion",(char *)"main",
- (char *)"\\valid_read(_G[0].str)",18);
+ (char *)"\\valid_read(_G[0].str)",22);
}
__retres = 0;
__e_acsl_delete_block((void *)(_G));
--
GitLab