Merge branch 'feature/eva/more-garbled-mix-wkeys' into 'master'
[Eva] add more wkeys related to garbled mix messages See merge request frama-c/frama-c!4217
No related branches found
No related tags found
Showing
- src/plugins/dive/tests/dive/oracle/exceptional.res.oracle 3 additions, 3 deletionssrc/plugins/dive/tests/dive/oracle/exceptional.res.oracle
- src/plugins/eva/domains/cvalue/warn.ml 2 additions, 2 deletionssrc/plugins/eva/domains/cvalue/warn.ml
- src/plugins/eva/engine/transfer_specification.ml 1 addition, 1 deletionsrc/plugins/eva/engine/transfer_specification.ml
- src/plugins/eva/self.ml 8 additions, 2 deletionssrc/plugins/eva/self.ml
- src/plugins/eva/self.mli 4 additions, 1 deletionsrc/plugins/eva/self.mli
- src/plugins/eva/utils/eva_utils.ml 1 addition, 1 deletionsrc/plugins/eva/utils/eva_utils.ml
- src/plugins/variadic/tests/defined/oracle/sum_with_unspecified_sequence.res.oracle 4 additions, 4 deletions...s/defined/oracle/sum_with_unspecified_sequence.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_garbled_mix.res.oracle 1 addition, 1 deletion...variadic/tests/known/oracle/printf_garbled_mix.res.oracle
- tests/builtins/oracle/alloc.0.res.oracle 1 addition, 1 deletiontests/builtins/oracle/alloc.0.res.oracle
- tests/builtins/oracle/alloc.1.res.oracle 1 addition, 1 deletiontests/builtins/oracle/alloc.1.res.oracle
- tests/builtins/oracle/imprecise-malloc-free.res.oracle 1 addition, 1 deletiontests/builtins/oracle/imprecise-malloc-free.res.oracle
- tests/builtins/oracle/imprecise.res.oracle 2 additions, 2 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/builtins/oracle/strchr.res.oracle 1 addition, 1 deletiontests/builtins/oracle/strchr.res.oracle
- tests/float/oracle/builtins.res.oracle 1 addition, 1 deletiontests/float/oracle/builtins.res.oracle
- tests/float/oracle/nonlin.0.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.0.res.oracle
- tests/float/oracle/nonlin.1.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.1.res.oracle
- tests/float/oracle/nonlin.2.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.2.res.oracle
- tests/float/oracle/nonlin.3.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.3.res.oracle
- tests/float/oracle/nonlin.4.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.4.res.oracle
- tests/float/oracle/nonlin.5.res.oracle 2 additions, 2 deletionstests/float/oracle/nonlin.5.res.oracle
Loading
Please register or sign in to comment