[translation] add a missing cast when an integer is used in a floating...
[translation] add a missing cast when an integer is used in a floating point/real context (was revealed by a Value's change, and now reveals a bug with == over reals)
Showing
- src/plugins/e-acsl/TODO 3 additions, 0 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/doc/Changelog 3 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle 0 additions, 5 deletions...s/e-acsl/tests/e-acsl-runtime/oracle/bts1307.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle 2 additions, 15 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/bts1307.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c 3 additions, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c 2 additions, 1 deletion...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c
- src/plugins/e-acsl/translate.ml 53 additions, 21 deletionssrc/plugins/e-acsl/translate.ml
Loading
Please register or sign in to comment