Module FrameworkSource

module Core = Core
module Combiners = Combiners
module Engines = Engines
module Lattices = Lattices
module Output = Output
module Params = Params
module Sig = Sig
module Toplevel = Toplevel
Sourcemodule Runner : sig ... end

Runner - main entry point of the analysis