Merge branch 'feature/andre/rte-add-dkey' into 'master'
[Rte] add dkey for function annotation messages; remove unnecessary warn See merge request frama-c/frama-c!3499
No related branches found
No related tags found
Showing
- src/plugins/rte/options.ml 2 additions, 1 deletionsrc/plugins/rte/options.ml
- src/plugins/rte/options.mli 1 addition, 1 deletionsrc/plugins/rte/options.mli
- src/plugins/rte/register.ml 4 additions, 2 deletionssrc/plugins/rte/register.ml
- src/plugins/rte/rte.ml 2 additions, 1 deletionsrc/plugins/rte/rte.ml
- src/plugins/rte/visit.ml 3 additions, 2 deletionssrc/plugins/rte/visit.ml
- src/plugins/wp/tests/wp/oracle/bug_rte.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp/oracle/bug_rte.res.oracle
- src/plugins/wp/tests/wp/oracle_qualif/wp_strategy.res.oracle 2 additions, 2 deletionssrc/plugins/wp/tests/wp/oracle_qualif/wp_strategy.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/oracle/chunk_typing.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/chunk_typing_usable.res.oracle 2 additions, 2 deletions...ns/wp/tests/wp_acsl/oracle/chunk_typing_usable.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/gnu_zero_array.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_acsl/oracle/gnu_zero_array.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle 6 additions, 6 deletionssrc/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing.res.oracle 1 addition, 1 deletion...ns/wp/tests/wp_acsl/oracle_qualif/chunk_typing.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/chunk_typing_usable.res.oracle 2 additions, 2 deletions...ests/wp_acsl/oracle_qualif/chunk_typing_usable.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/gnu_zero_array.res.oracle 1 addition, 1 deletion.../wp/tests/wp_acsl/oracle_qualif/gnu_zero_array.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/opaque_struct.res.oracle 6 additions, 6 deletions...s/wp/tests/wp_acsl/oracle_qualif/opaque_struct.res.oracle
- src/plugins/wp/tests/wp_bts/oracle/bts_1360.res.oracle 2 additions, 2 deletionssrc/plugins/wp/tests/wp_bts/oracle/bts_1360.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts779.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_bts/oracle_qualif/bts779.res.oracle
- src/plugins/wp/tests/wp_bts/oracle_qualif/bts_1360.res.oracle 2 additions, 2 deletions...plugins/wp/tests/wp_bts/oracle_qualif/bts_1360.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle/binary-multiplication-without-overflow.res.oracle 1 addition, 1 deletion.../oracle/binary-multiplication-without-overflow.res.oracle
Loading
Please register or sign in to comment