Up – Package index » goblint » Library goblint.lib » Generic » LoadRunSolver

Module `Generic.LoadRunSolver`

Parameters

module S : Analyses.EqConstrSys

module H : Prelude.Hashtbl.S with type key = S.v

val solve : 
  (S.v -> S.d -> S.d -> S.d) ->
  (S.v * S.d) list ->
  S.v list ->
  S.d H.t

The hash-map that is the first component of solve box xs vs is a local solution for interesting variables vs, reached from starting values xs.