Update according to kernel changes. Some oracles still broken (see comment in Env.add_assert)
Showing
- src/plugins/e-acsl/env.ml 8 additions, 1 deletionsrc/plugins/e-acsl/env.ml
- src/plugins/e-acsl/options.mli 4 additions, 4 deletionssrc/plugins/e-acsl/options.mli
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c 1 addition, 1 deletion...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c 1 addition, 1 deletion...-acsl/tests/e-acsl-runtime/oracle/gen_function_contract.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c 1 addition, 1 deletion...e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_nested_code_annot.c 1 addition, 1 deletion...-acsl/tests/e-acsl-runtime/oracle/gen_nested_code_annot.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_null.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_null.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c 1 addition, 1 deletion.../e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c
Loading
Please register or sign in to comment