Num_compare.NumericComparison
val one_state_all_variables :
Ast.Program.Loc.t ->
('state, N.t) Domain_builder.numeric ->
('state, N.t) Domain_builder.ssa_numeric ->
'state ->
totals
Compares precision in the given state, for all variables i.e. at each program point, evaluate each variable in the classical and SSA numeric domain, and compare their precisions.
val all_state_all_variables :
'state Std_extra.Types.pp ->
('state, N.t) Domain_builder.numeric ->
('state, N.t) Domain_builder.ssa_numeric ->
'state Ast.Program.LocMap.t ->
totals
Compares precision in all states, for all variables i.e. at each program point, evaluate each variable in the classical and SSA numeric domain, and compare their precisions.
val children_only :
('state, N.t) Domain_builder.numeric ->
('state, N.t) Domain_builder.ssa_numeric ->
'state Ast.Program.LocMap.t ->
co_graph:(Ast.Program.relation * _) list Ast.Program.LocMap.t ->
totals
Compare on children only: i.e., for all states, compare the expression that appear on outgoing edges only. This metric has less multiplicity than all_state_all_varibles
.