Frama-C API - Int_Intervals_sig
Sets of intervals with a lattice structure. Consecutive intervals are automatically fused.
type itv = Abstract_interp.Int.t * Abstract_interp.Int.tmodule type S = sig ... end
Frama-C Frama-C Int_Intervals_sigSets of intervals with a lattice structure. Consecutive intervals are automatically fused.
type itv = Abstract_interp.Int.t * Abstract_interp.Int.tmodule type S = sig ... end