Module Summary

module Summary: sig .. end

Summary


type alarm_category = 
| Division_by_zero
| Memory_access
| Index_out_of_bound
| Invalid_shift
| Overflow
| Uninitialized
| Dangling
| Nan_or_infinite
| Float_to_int
| Other
type coverage = {
   mutable reachable : int;
   mutable dead : int;
}
type statuses = {
   mutable valid : int;
   mutable unknown : int;
   mutable invalid : int;
}
type events = {
   mutable errors : int;
   mutable warnings : int;
}
type alarms = (alarm_category * int) list 
type fun_stats = {
   fun_coverage : coverage;
   fun_alarm_count : alarms;
   fun_alarm_statuses : statuses;
}
type program_stats = {
   prog_fun_coverage : coverage;
   prog_stmt_coverage : coverage;
   prog_alarms : alarms;
   eva_events : events;
   kernel_events : events;
   alarms_statuses : statuses;
   assertions_statuses : statuses;
   preconds_statuses : statuses;
}
module FunctionStats: sig .. end
val compute_stats : unit -> program_stats

Compute analysis statistics.

val print_summary : unit -> unit

Prints a summary of the analysis.