update code and oracles according to Frama-C changes, in particular...
update code and oracles according to Frama-C changes, in particular interpretation of \valid in presence of const
Showing
- src/plugins/e-acsl/TODO 1 addition, 0 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h 18 additions, 18 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c 6 additions, 6 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c 8 additions, 8 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13242.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13262.c 6 additions, 6 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13262.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13902.c 6 additions, 6 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13902.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13992.c 5 additions, 5 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13992.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts14782.c 2 additions, 2 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts14782.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c 3 additions, 3 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c 3 additions, 3 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_function_contract2.c 4 additions, 4 deletions...acsl/tests/e-acsl-runtime/oracle/gen_function_contract2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost2.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c 2 additions, 2 deletions...e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant2.c 2 additions, 2 deletions...-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_invariant2.c 2 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_invariant2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_labeled_stmt2.c 2 additions, 2 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_labeled_stmt2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy2.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy2.c
Loading
Please register or sign in to comment