Merge branch 'feature/eva/wkey-unknown-size' into 'master'
[Eva] add warning key unknown-size See merge request frama-c/frama-c!3372
Showing
- src/plugins/e-acsl/tests/bts/oracle/bts2406.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/bts/oracle/bts2406.res.oracle
- src/plugins/value/domains/cvalue/cvalue_init.ml 1 addition, 0 deletionssrc/plugins/value/domains/cvalue/cvalue_init.ml
- src/plugins/value/engine/initialization.ml 1 addition, 0 deletionssrc/plugins/value/engine/initialization.ml
- src/plugins/value/value_parameters.ml 1 addition, 0 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 3 additions, 0 deletionssrc/plugins/value/value_parameters.mli
- tests/builtins/oracle/imprecise.res.oracle 7 additions, 7 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/misc/oracle/audit-out.json 1 addition, 1 deletiontests/misc/oracle/audit-out.json
- tests/value/oracle/abstract_struct_1.res.oracle 1 addition, 1 deletiontests/value/oracle/abstract_struct_1.res.oracle
- tests/value/oracle/array_zero_length.0.res.oracle 3 additions, 3 deletionstests/value/oracle/array_zero_length.0.res.oracle
- tests/value/oracle/array_zero_length.1.res.oracle 3 additions, 3 deletionstests/value/oracle/array_zero_length.1.res.oracle
- tests/value/oracle/empty_union.res.oracle 1 addition, 1 deletiontests/value/oracle/empty_union.res.oracle
- tests/value/oracle/extern.res.oracle 2 additions, 2 deletionstests/value/oracle/extern.res.oracle
- tests/value/oracle/library.res.oracle 1 addition, 1 deletiontests/value/oracle/library.res.oracle
- tests/value/oracle/not_ct_array_arg.res.oracle 1 addition, 1 deletiontests/value/oracle/not_ct_array_arg.res.oracle
- tests/value/oracle/unknown_sizeof.0.res.oracle 1 addition, 1 deletiontests/value/oracle/unknown_sizeof.0.res.oracle
- tests/value/oracle/unknown_sizeof.1.res.oracle 1 addition, 1 deletiontests/value/oracle/unknown_sizeof.1.res.oracle
Loading
Please register or sign in to comment