Module Tai.Num_compare

Compares classical and SSA numeric abstractions.

type totals = {
  1. same_precision : int;
  2. ssa_more_precise : int;
  3. classical_more_precise : int;
  4. incomparable : int;
}

Result type for comparisons between SSA Numeric and classical numeric domains Fields represent the number of times where:

  • num and ssa_num have the same precision
  • ssa_num is more precise
  • num is more precise
  • ssa_num and num are incomparable
val pp_csv : totals option Std_extra.Types.pp

Pretty print totals, using CSV format

val pp_summary : totals option Std_extra.Types.pp

Pretty print totals, longer format