Up – Package index » goblint » Library goblint.lib » Goblint_lib » Transform

Module `Goblint_lib.Transform`

module type S = sig ... end

val h : (string, (module S)) Goblint_lib.Prelude.Hashtbl.t

val register : string -> (module S) -> unit

val run : 
  string ->
  (GoblintCil.Cil.location -> Queries.ask) ->
  GoblintCil.file ->
  unit

module PartialEval : sig ... end