package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f

sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500

Splits a EqConstrSys solution into a GlobConstrSys solution with given Hashtbl.S for the EqConstrSys.

module S : Analyses.GlobConstrSys

module LH : Goblint_lib.Prelude.Hashtbl.S with type key = S.LVar.t

module GH : Goblint_lib.Prelude.Hashtbl.S with type key = S.GVar.t

module VH : Goblint_lib.Prelude.Hashtbl.S with type key = Var2(S.LVar)(S.GVar).t

val split_solution : 
  [< `Bot | `Lifted1 of 'a & 'b | `Lifted2 of S.D.t & 'c | `Top ] VH.t ->
  S.D.t LH.t * 'b GH.t

On This Page