Merge branch 'feature/eva/annotations-api' into 'master'
Eva additional annotations and handling through API See merge request frama-c/frama-c!2786
Showing
- src/plugins/value/Eva.mli 31 additions, 0 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/partitioning/partitioning_parameters.ml 2 additions, 2 deletionssrc/plugins/value/partitioning/partitioning_parameters.ml
- src/plugins/value/partitioning/per_stmt_slevel.ml 7 additions, 2 deletionssrc/plugins/value/partitioning/per_stmt_slevel.ml
- src/plugins/value/utils/eva_annotations.ml 29 additions, 21 deletionssrc/plugins/value/utils/eva_annotations.ml
- src/plugins/value/utils/eva_annotations.mli 4 additions, 1 deletionsrc/plugins/value/utils/eva_annotations.mli
- src/plugins/value/value_parameters.mli 0 additions, 1 deletionsrc/plugins/value/value_parameters.mli
- tests/value/oracle/partitioning-annots.0.res.oracle 18 additions, 4 deletionstests/value/oracle/partitioning-annots.0.res.oracle
- tests/value/oracle/partitioning-annots.1.res.oracle 18 additions, 17 deletionstests/value/oracle/partitioning-annots.1.res.oracle
- tests/value/oracle/partitioning-annots.2.res.oracle 22 additions, 21 deletionstests/value/oracle/partitioning-annots.2.res.oracle
- tests/value/oracle/partitioning-annots.3.res.oracle 22 additions, 21 deletionstests/value/oracle/partitioning-annots.3.res.oracle
- tests/value/oracle/partitioning-annots.4.res.oracle 5 additions, 4 deletionstests/value/oracle/partitioning-annots.4.res.oracle
- tests/value/oracle/partitioning-annots.5.res.oracle 5 additions, 4 deletionstests/value/oracle/partitioning-annots.5.res.oracle
- tests/value/oracle/partitioning-annots.6.res.oracle 30 additions, 0 deletionstests/value/oracle/partitioning-annots.6.res.oracle
- tests/value/partitioning-annots.c 55 additions, 6 deletionstests/value/partitioning-annots.c
Loading
Please register or sign in to comment