diff --git a/src/plugins/e-acsl/tests/bts/bts2191.c b/src/plugins/e-acsl/tests/bts/bts2191.c index 0291959acba483a0cff69a91a42ae4f5bec4c6eb..8ce8acf7fa83169d40763aed125cca1b7817f8a8 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 25a3068c5ea0f9f587f8b14c4fdc09d1f72ba492..a4f6f4a9c2cfbf191e30a185bfd32af30ee89ef6 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));