[e-acsl] fix bug with && and || in term position
[e-acsl] generate nice variable names whenever possible
Showing
- src/plugins/e-acsl/TODO 1 addition, 0 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/env.ml 4 additions, 3 deletionssrc/plugins/e-acsl/env.ml
- src/plugins/e-acsl/quantif.ml 8 additions, 3 deletionssrc/plugins/e-acsl/quantif.ml
- src/plugins/e-acsl/tests/e-acsl-runtime/lazy.i 5 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/lazy.i
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle 641 additions, 638 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/arith.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle 18 additions, 18 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle 12 additions, 12 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/array.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle 162 additions, 162 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/at.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle 65 additions, 65 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/at.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle 72 additions, 73 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/cast.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle 191 additions, 187 deletions...-acsl/tests/e-acsl-runtime/oracle/comparison.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.1.res.oracle 327 additions, 327 deletions...ests/e-acsl-runtime/oracle/function_contract.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/function_contract.res.oracle 68 additions, 66 deletions.../tests/e-acsl-runtime/oracle/function_contract.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 18 additions, 18 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 483 additions, 480 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c 12 additions, 12 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c 37 additions, 37 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c 149 additions, 149 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c 72 additions, 73 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c 191 additions, 187 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison2.c
Loading
Please register or sign in to comment