[e-acsl] fixed bug for ! (not)
[e-acsl] fixed bug for negative modulos [e-acsl] full reimplementation of environments (only one now, and it is persistent) [e-acsl] support of lazy operators &&, || and ==> [e-acsl] tests now execute the generated C code and check that no runtime assertion is raised
Showing
- src/plugins/e-acsl/TODO 0 additions, 2 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/tests/e-acsl-runtime/addrOf.i 3 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/addrOf.i
- src/plugins/e-acsl/tests/e-acsl-runtime/arith.i 3 additions, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/arith.i
- src/plugins/e-acsl/tests/e-acsl-runtime/cast.i 3 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/cast.i
- src/plugins/e-acsl/tests/e-acsl-runtime/comparison.i 3 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/comparison.i
- src/plugins/e-acsl/tests/e-acsl-runtime/false.i 3 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/false.i
- src/plugins/e-acsl/tests/e-acsl-runtime/integer_constant.i 7 additions, 4 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/integer_constant.i
- src/plugins/e-acsl/tests/e-acsl-runtime/not.i 3 additions, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/not.i
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle 7 additions, 4 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/addrOf.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle 240 additions, 245 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/arith.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle 9 additions, 6 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/cast.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle 78 additions, 74 deletions.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle 5 additions, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/false.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 5 additions, 3 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 20 additions, 25 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c 6 additions, 4 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_cast.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c 17 additions, 14 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/gen_comparison.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_false.c 4 additions, 2 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 9 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 788 additions, 0 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_lazy.c
Loading
Please register or sign in to comment