package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.2.1.tbz
sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674
sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

doc/goblint.lib/Goblint_lib/Constraints/GlobConstrSolFromEqConstrSolBase/index.html

Module Constraints.GlobConstrSolFromEqConstrSolBase

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

Parameters

module LH : Batteries.Hashtbl.S with type key = S.LVar.t
module GH : Batteries.Hashtbl.S with type key = S.GVar.t

Signature

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
OCaml

Innovation. Community. Security.