Goblint_lib.WideningDelayStandard widening delay with counters.
Abstract elements are paired with an integer counter, indicating how many times it has been widened. Lifted abstract elements are only widened if the counter exceeds a predefined limit.
module LocalChainParams : Printable.ChainParamsmodule GlobalChainParams : Printable.ChainParamsmodule Dom
(Base : Lattice.S)
(ChainParams : Printable.ChainParams) :
sig ... endmodule DLifter (S : Analyses.Spec) : Analyses.SpecLift S to use widening delay for local states.
module GLifter (S : Analyses.Spec) : Analyses.SpecLift S to use widening delay for global unknowns.