[Eva] Export Eva summary statistics by function
- Whole program statistics are aggregated from function by function statistics - Also ordered the alarms output by count by category, except for the Other category
Showing
- Makefile 1 addition, 0 deletionsMakefile
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- ivette/src/frama-c/api/generated/plugins/eva/general/index.ts 193 additions, 111 deletions...te/src/frama-c/api/generated/plugins/eva/general/index.ts
- ivette/src/frama-c/plugins/eva/Summary.tsx 22 additions, 10 deletionsivette/src/frama-c/plugins/eva/Summary.tsx
- src/plugins/dive/tests/dive/oracle/exceptional.res.oracle 1 addition, 1 deletionsrc/plugins/dive/tests/dive/oracle/exceptional.res.oracle
- src/plugins/value/api/general_requests.ml 77 additions, 57 deletionssrc/plugins/value/api/general_requests.ml
- src/plugins/value/engine/compute_functions.ml 4 additions, 2 deletionssrc/plugins/value/engine/compute_functions.ml
- src/plugins/value/utils/summary.ml 446 additions, 0 deletionssrc/plugins/value/utils/summary.ml
- src/plugins/value/utils/summary.mli 84 additions, 0 deletionssrc/plugins/value/utils/summary.mli
- src/plugins/value/utils/value_results.ml 0 additions, 306 deletionssrc/plugins/value/utils/value_results.ml
- src/plugins/value/utils/value_results.mli 1 addition, 52 deletionssrc/plugins/value/utils/value_results.mli
- tests/value/oracle/summary.3.res.oracle 3 additions, 3 deletionstests/value/oracle/summary.3.res.oracle
- tests/value/oracle/summary.4.res.oracle 3 additions, 3 deletionstests/value/oracle/summary.4.res.oracle
Loading
Please register or sign in to comment