Tai.Num_compare
Compares classical and SSA numeric abstractions.
Result type for comparisons between SSA Numeric and classical numeric domains Fields represent the number of times where:
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
module NumericComparison
(N : Single_value_abstraction.Sig.SingleValueAbstraction) :
sig ... end