- use function mpz_init_set when possible
- improve efficiency of mpz_clear generation - don't run cast.i anymore (waiting for fixing issue #744) - refactoring generation of new variables with their related stmts
Showing
- src/plugins/e-acsl/TODO 1 addition, 0 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/share/e_acsl.h 6 additions, 6 deletionssrc/plugins/e-acsl/share/e_acsl.h
- src/plugins/e-acsl/tests/e-acsl-runtime/cast.i 4 additions, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/cast.i
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle 173 additions, 288 deletions.../e-acsl/tests/e-acsl-runtime/oracle/comparison.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/integer_constant.res.oracle 61 additions, 96 deletions...l/tests/e-acsl-runtime/oracle/integer_constant.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle 4 additions, 138 deletions...gins/e-acsl/tests/e-acsl-runtime/oracle/sizeof.res.oracle
- src/plugins/e-acsl/visit.ml 49 additions, 52 deletionssrc/plugins/e-acsl/visit.ml
Loading
Please register or sign in to comment