[E-ACSL] fixed bug with series of addresses
Showing
- src/plugins/e-acsl/pre_analysis.ml 9 additions, 8 deletionssrc/plugins/e-acsl/pre_analysis.ml
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c 61 additions, 14 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c 61 additions, 14 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle 34 additions, 29 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle 34 additions, 29 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/valid.c 9 additions, 0 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/valid.c
Loading
Please register or sign in to comment