[E-ACSL] fixed bug #1411
[E-ACSL] fixed non-termination issue in presence of RTEs in RTE [E-ACSl] pre-analysis: additional verbosing messages (level 4)
Showing
- src/plugins/e-acsl/TODO 2 additions, 0 deletionssrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/pre_analysis.ml 16 additions, 4 deletionssrc/plugins/e-acsl/pre_analysis.ml
- src/plugins/e-acsl/pre_visit.ml 3 additions, 2 deletionssrc/plugins/e-acsl/pre_visit.ml
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c 178 additions, 70 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c 178 additions, 70 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_valid2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle 10 additions, 5 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/valid.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle 10 additions, 5 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/valid.c 7 additions, 3 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/valid.c
- src/plugins/e-acsl/translate.ml 3 additions, 1 deletionsrc/plugins/e-acsl/translate.ml
- src/plugins/e-acsl/visit.ml 9 additions, 1 deletionsrc/plugins/e-acsl/visit.ml
Loading
Please register or sign in to comment