Merge branch 'feature/basile/97-standard-eacsl-error-message' into 'master'
[E-ACSL] Update E-ACSL asserts to emit standard error messages Closes e-acsl#97 See merge request frama-c/frama-c!2568
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/doc/Changelog 1 addition, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/share/e-acsl/e_acsl.h 3 additions, 1 deletionsrc/plugins/e-acsl/share/e-acsl/e_acsl.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h 12 additions, 7 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
- src/plugins/e-acsl/src/code_generator/constructor.ml 2 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/constructor.ml
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c 47 additions, 47 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_array.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_array.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_at.c 35 additions, 37 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_at.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_at_on-purely-logic-variables.c 66 additions, 71 deletions.../tests/arith/oracle_ci/gen_at_on-purely-logic-variables.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_cast.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_cast.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_comparison.c 34 additions, 25 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_comparison.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions.c 85 additions, 83 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_functions.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c 90 additions, 88 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_functions_rec.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_integer_constant.c 10 additions, 7 deletions...ugins/e-acsl/tests/arith/oracle_ci/gen_integer_constant.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_let.c 27 additions, 24 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_let.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_not.c 2 additions, 4 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_not.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_quantif.c 39 additions, 38 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_quantif.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_rationals.c 21 additions, 21 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_rationals.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1304.c 3 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1304.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1307.c 27 additions, 26 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1307.c
Loading
Please register or sign in to comment