Propagate oracle from enum typing fix
Showing
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c 5 additions, 5 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c 5 additions, 5 deletions...e-acsl/tests/e-acsl-runtime/oracle/gen_integer_constant.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_not.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c 6 additions, 8 deletions.../e-acsl/tests/e-acsl-runtime/oracle/gen_other_constants.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_sizeof.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_true.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/other_constants.res.oracle 1 addition, 3 deletions...sl/tests/e-acsl-runtime/oracle/other_constants.res.oracle
Loading
Please register or sign in to comment