src/plugins/value/engine/compute_functions.ml · 791befb70405f5f868fecc3d27a8e6fffdcf245a · pub / frama-c

3 years ago

[Eva] Export Eva summary statistics by function · 791befb7

Valentin Perrelle authored 3 years ago and

David Bühler committed 3 years ago

- Whole program statistics are aggregated from function by function
  statistics
- Also ordered the alarms output by count by category, except for
  the Other category

791befb7

History

[Eva] Export Eva summary statistics by function

Valentin Perrelle authored 3 years ago and

David Bühler committed 3 years ago

- Whole program statistics are aggregated from function by function
  statistics
- Also ordered the alarms output by count by category, except for
  the Other category