Module `UnitTests__AnalyzerTester`

module F = Stdlib.Format

module StructuredSil : sig ... end: structured language that makes it easy to write small test programs in OCaml

module MakeMake : functor (MakeAbstractInterpreter : Absint.AbstractInterpreter.Make) -> functor (T : Absint.TransferFunctions.SIL with type CFG.Node.t = IR.Procdesc.Node.t) -> sig ... end

module Make : functor (T : Absint.TransferFunctions.SIL with type CFG.Node.t = IR.Procdesc.Node.t) -> sig ... end