Source file goblint_lib.ml

(* generated by dune *)

(** @canonical Goblint_lib.AbstractionDomainProperties *)
module AbstractionDomainProperties = Goblint_lib__AbstractionDomainProperties

(** @canonical Goblint_lib.Access *)
module Access = Goblint_lib__Access

(** @canonical Goblint_lib.AccessAnalysis *)
module AccessAnalysis = Goblint_lib__AccessAnalysis

(** @canonical Goblint_lib.AccessKind *)
module AccessKind = Goblint_lib__AccessKind

(** @canonical Goblint_lib.AddressDomain *)
module AddressDomain = Goblint_lib__AddressDomain

(** @canonical Goblint_lib.AfterConfig *)
module AfterConfig = Goblint_lib__AfterConfig

(** @canonical Goblint_lib.Analyses *)
module Analyses = Goblint_lib__Analyses

(** @canonical Goblint_lib.ApronAnalysis *)
module ApronAnalysis = Goblint_lib__ApronAnalysis

(** @canonical Goblint_lib.ApronDomain *)
module ApronDomain = Goblint_lib__ApronDomain

(** @canonical Goblint_lib.ApronPrecCompareUtil *)
module ApronPrecCompareUtil = Goblint_lib__ApronPrecCompareUtil

(** @canonical Goblint_lib.ApronPriv *)
module ApronPriv = Goblint_lib__ApronPriv

(** @canonical Goblint_lib.ArrayDomain *)
module ArrayDomain = Goblint_lib__ArrayDomain

(** @canonical Goblint_lib.Assert *)
module Assert = Goblint_lib__Assert

(** @canonical Goblint_lib.Base *)
module Base = Goblint_lib__Base

(** @canonical Goblint_lib.BaseDomain *)
module BaseDomain = Goblint_lib__BaseDomain

(** @canonical Goblint_lib.BasePriv *)
module BasePriv = Goblint_lib__BasePriv

(** @canonical Goblint_lib.BaseUtil *)
module BaseUtil = Goblint_lib__BaseUtil

(** @canonical Goblint_lib.Basetype *)
module Basetype = Goblint_lib__Basetype

(** @canonical Goblint_lib.BoolDomain *)
module BoolDomain = Goblint_lib__BoolDomain

(** @canonical Goblint_lib.CfgTools *)
module CfgTools = Goblint_lib__CfgTools

(** @canonical Goblint_lib.CilMaps *)
module CilMaps = Goblint_lib__CilMaps

(** @canonical Goblint_lib.CilType *)
module CilType = Goblint_lib__CilType

(** @canonical Goblint_lib.Cilfacade *)
module Cilfacade = Goblint_lib__Cilfacade

(** @canonical Goblint_lib.Cilfacade0 *)
module Cilfacade0 = Goblint_lib__Cilfacade0

(** @canonical Goblint_lib.CommonPriv *)
module CommonPriv = Goblint_lib__CommonPriv

(** @canonical Goblint_lib.CompareAST *)
module CompareAST = Goblint_lib__CompareAST

(** @canonical Goblint_lib.CompareCFG *)
module CompareCFG = Goblint_lib__CompareCFG

(** @canonical Goblint_lib.CompareCIL *)
module CompareCIL = Goblint_lib__CompareCIL

(** @canonical Goblint_lib.CompilationDatabase *)
module CompilationDatabase = Goblint_lib__CompilationDatabase

(** @canonical Goblint_lib.ConcDomain *)
module ConcDomain = Goblint_lib__ConcDomain

(** @canonical Goblint_lib.CondVars *)
module CondVars = Goblint_lib__CondVars

(** @canonical Goblint_lib.ConfigProfile *)
module ConfigProfile = Goblint_lib__ConfigProfile

(** @canonical Goblint_lib.ConfigVersion *)
module ConfigVersion = Goblint_lib__ConfigVersion

(** @canonical Goblint_lib.Constants *)
module Constants = Goblint_lib__Constants

(** @canonical Goblint_lib.Constraints *)
module Constraints = Goblint_lib__Constraints

(** @canonical Goblint_lib.ContextUtil *)
module ContextUtil = Goblint_lib__ContextUtil

(** @canonical Goblint_lib.Control *)
module Control = Goblint_lib__Control

(** @canonical Goblint_lib.Deadlock *)
module Deadlock = Goblint_lib__Deadlock

(** @canonical Goblint_lib.DeadlockDomain *)
module DeadlockDomain = Goblint_lib__DeadlockDomain

(** @canonical Goblint_lib.DomainProperties *)
module DomainProperties = Goblint_lib__DomainProperties

(** @canonical Goblint_lib.Edge *)
module Edge = Goblint_lib__Edge

(** @canonical Goblint_lib.EffectWConEq *)
module EffectWConEq = Goblint_lib__EffectWConEq

(** @canonical Goblint_lib.EscapeDomain *)
module EscapeDomain = Goblint_lib__EscapeDomain

(** @canonical Goblint_lib.EvalAssert *)
module EvalAssert = Goblint_lib__EvalAssert

(** @canonical Goblint_lib.Events *)
module Events = Goblint_lib__Events

(** @canonical Goblint_lib.ExpDomain *)
module ExpDomain = Goblint_lib__ExpDomain

(** @canonical Goblint_lib.ExpRelation *)
module ExpRelation = Goblint_lib__ExpRelation

(** @canonical Goblint_lib.ExpressionEvaluation *)
module ExpressionEvaluation = Goblint_lib__ExpressionEvaluation

(** @canonical Goblint_lib.ExtractPthread *)
module ExtractPthread = Goblint_lib__ExtractPthread

(** @canonical Goblint_lib.FileDomain *)
module FileDomain = Goblint_lib__FileDomain

(** @canonical Goblint_lib.FileUse *)
module FileUse = Goblint_lib__FileUse

(** @canonical Goblint_lib.FlagHelper *)
module FlagHelper = Goblint_lib__FlagHelper

(** @canonical Goblint_lib.FlagModeDomain *)
module FlagModeDomain = Goblint_lib__FlagModeDomain

(** @canonical Goblint_lib.FloatDomain *)
module FloatDomain = Goblint_lib__FloatDomain

(** @canonical Goblint_lib.FloatOps *)
module FloatOps = Goblint_lib__FloatOps

(** @canonical Goblint_lib.Generic *)
module Generic = Goblint_lib__Generic

(** @canonical Goblint_lib.GobConfig *)
module GobConfig = Goblint_lib__GobConfig

(** @canonical Goblint_lib.GobFormat *)
module GobFormat = Goblint_lib__GobFormat

(** @canonical Goblint_lib.GobFpath *)
module GobFpath = Goblint_lib__GobFpath

(** @canonical Goblint_lib.GobHashtbl *)
module GobHashtbl = Goblint_lib__GobHashtbl

(** @canonical Goblint_lib.GobList *)
module GobList = Goblint_lib__GobList

(** @canonical Goblint_lib.GobOption *)
module GobOption = Goblint_lib__GobOption

(** @canonical Goblint_lib.GobSys *)
module GobSys = Goblint_lib__GobSys

(** @canonical Goblint_lib.GobUnix *)
module GobUnix = Goblint_lib__GobUnix

(** @canonical Goblint_lib.GobYaml *)
module GobYaml = Goblint_lib__GobYaml

(** @canonical Goblint_lib.GobYojson *)
module GobYojson = Goblint_lib__GobYojson

(** @canonical Goblint_lib.GoblintDir *)
module GoblintDir = Goblint_lib__GoblintDir

(** @canonical Goblint_lib.Goblintutil *)
module Goblintutil = Goblint_lib__Goblintutil

(** @canonical Goblint_lib.Graphml *)
module Graphml = Goblint_lib__Graphml

(** @canonical Goblint_lib.HoareDomain *)
module HoareDomain = Goblint_lib__HoareDomain

(** @canonical Goblint_lib.IntDomain *)
module IntDomain = Goblint_lib__IntDomain

(** @canonical Goblint_lib.IntDomainProperties *)
module IntDomainProperties = Goblint_lib__IntDomainProperties

(** @canonical Goblint_lib.IntOps *)
module IntOps = Goblint_lib__IntOps

(** @canonical Goblint_lib.Invariant *)
module Invariant = Goblint_lib__Invariant

(** @canonical Goblint_lib.InvariantCil *)
module InvariantCil = Goblint_lib__InvariantCil

(** @canonical Goblint_lib.JsonSchema *)
module JsonSchema = Goblint_lib__JsonSchema

(** @canonical Goblint_lib.Lattice *)
module Lattice = Goblint_lib__Lattice

(** @canonical Goblint_lib.LazyEval *)
module LazyEval = Goblint_lib__LazyEval

(** @canonical Goblint_lib.LibraryDesc *)
module LibraryDesc = Goblint_lib__LibraryDesc

(** @canonical Goblint_lib.LibraryDsl *)
module LibraryDsl = Goblint_lib__LibraryDsl

(** @canonical Goblint_lib.LibraryFunctionEffects *)
module LibraryFunctionEffects = Goblint_lib__LibraryFunctionEffects

(** @canonical Goblint_lib.LibraryFunctions *)
module LibraryFunctions = Goblint_lib__LibraryFunctions

(** @canonical Goblint_lib.LockDomain *)
module LockDomain = Goblint_lib__LockDomain

(** @canonical Goblint_lib.LocksetAnalysis *)
module LocksetAnalysis = Goblint_lib__LocksetAnalysis

(** @canonical Goblint_lib.Lval *)
module Lval = Goblint_lib__Lval

(** @canonical Goblint_lib.LvalMapDomain *)
module LvalMapDomain = Goblint_lib__LvalMapDomain

(** @canonical Goblint_lib.MCP *)
module MCP = Goblint_lib__MCP

(** @canonical Goblint_lib.MCPAccess *)
module MCPAccess = Goblint_lib__MCPAccess

(** @canonical Goblint_lib.MCPRegistry *)
module MCPRegistry = Goblint_lib__MCPRegistry

(** @canonical Goblint_lib.MHP *)
module MHP = Goblint_lib__MHP

(** @canonical Goblint_lib.MHPAnalysis *)
module MHPAnalysis = Goblint_lib__MHPAnalysis

(** @canonical Goblint_lib.Maingoblint *)
module Maingoblint = Goblint_lib__Maingoblint

(** @canonical Goblint_lib.MakefileUtil *)
module MakefileUtil = Goblint_lib__MakefileUtil

(** @canonical Goblint_lib.MallocFresh *)
module MallocFresh = Goblint_lib__MallocFresh

(** @canonical Goblint_lib.MallocWrapperAnalysis *)
module MallocWrapperAnalysis = Goblint_lib__MallocWrapperAnalysis

(** @canonical Goblint_lib.Malloc_null *)
module Malloc_null = Goblint_lib__Malloc_null

(** @canonical Goblint_lib.MapDomain *)
module MapDomain = Goblint_lib__MapDomain

(** @canonical Goblint_lib.MaxIdUtil *)
module MaxIdUtil = Goblint_lib__MaxIdUtil

(** @canonical Goblint_lib.MayLocks *)
module MayLocks = Goblint_lib__MayLocks

(** @canonical Goblint_lib.MessageCategory *)
module MessageCategory = Goblint_lib__MessageCategory

(** @canonical Goblint_lib.MessageUtil *)
module MessageUtil = Goblint_lib__MessageUtil

(** @canonical Goblint_lib.Messages *)
module Messages = Goblint_lib__Messages

(** @canonical Goblint_lib.MusteqDomain *)
module MusteqDomain = Goblint_lib__MusteqDomain

(** @canonical Goblint_lib.MutexAnalysis *)
module MutexAnalysis = Goblint_lib__MutexAnalysis

(** @canonical Goblint_lib.MutexEventsAnalysis *)
module MutexEventsAnalysis = Goblint_lib__MutexEventsAnalysis

(** @canonical Goblint_lib.MyARG *)
module MyARG = Goblint_lib__MyARG

(** @canonical Goblint_lib.MyCFG *)
module MyCFG = Goblint_lib__MyCFG

(** @canonical Goblint_lib.MyCheck *)
module MyCheck = Goblint_lib__MyCheck

(** @canonical Goblint_lib.Node *)
module Node = Goblint_lib__Node

(** @canonical Goblint_lib.Node0 *)
module Node0 = Goblint_lib__Node0

(** @canonical Goblint_lib.ObserverAnalysis *)
module ObserverAnalysis = Goblint_lib__ObserverAnalysis

(** @canonical Goblint_lib.ObserverAutomaton *)
module ObserverAutomaton = Goblint_lib__ObserverAutomaton

(** @canonical Goblint_lib.Options *)
module Options = Goblint_lib__Options

(** @canonical Goblint_lib.PartitionDomain *)
module PartitionDomain = Goblint_lib__PartitionDomain

(** @canonical Goblint_lib.PostSolver *)
module PostSolver = Goblint_lib__PostSolver

(** @canonical Goblint_lib.PreValueDomain *)
module PreValueDomain = Goblint_lib__PreValueDomain

(** @canonical Goblint_lib.PrecCompare *)
module PrecCompare = Goblint_lib__PrecCompare

(** @canonical Goblint_lib.PrecCompareUtil *)
module PrecCompareUtil = Goblint_lib__PrecCompareUtil

(** @canonical Goblint_lib.PrecisionUtil *)
module PrecisionUtil = Goblint_lib__PrecisionUtil

(** @canonical Goblint_lib.Prelude *)
module Prelude = Goblint_lib__Prelude

(** @canonical Goblint_lib.Preprocessor *)
module Preprocessor = Goblint_lib__Preprocessor

(** @canonical Goblint_lib.Printable *)
module Printable = Goblint_lib__Printable

(** @canonical Goblint_lib.PrivPrecCompareUtil *)
module PrivPrecCompareUtil = Goblint_lib__PrivPrecCompareUtil

(** @canonical Goblint_lib.ProcessPool *)
module ProcessPool = Goblint_lib__ProcessPool

(** @canonical Goblint_lib.PthreadDomain *)
module PthreadDomain = Goblint_lib__PthreadDomain

(** @canonical Goblint_lib.Queries *)
module Queries = Goblint_lib__Queries

(** @canonical Goblint_lib.Refinement *)
module Refinement = Goblint_lib__Refinement

(** @canonical Goblint_lib.Region *)
module Region = Goblint_lib__Region

(** @canonical Goblint_lib.RegionDomain *)
module RegionDomain = Goblint_lib__RegionDomain

(** @canonical Goblint_lib.ResettableLazy *)
module ResettableLazy = Goblint_lib__ResettableLazy

(** @canonical Goblint_lib.RichVarinfo *)
module RichVarinfo = Goblint_lib__RichVarinfo

(** @canonical Goblint_lib.SLR *)
module SLR = Goblint_lib__SLR

(** @canonical Goblint_lib.SLRphased *)
module SLRphased = Goblint_lib__SLRphased

(** @canonical Goblint_lib.SLRterm *)
module SLRterm = Goblint_lib__SLRterm

(** @canonical Goblint_lib.Sarif *)
module Sarif = Goblint_lib__Sarif

(** @canonical Goblint_lib.SarifRules *)
module SarifRules = Goblint_lib__SarifRules

(** @canonical Goblint_lib.SarifType *)
module SarifType = Goblint_lib__SarifType

(** @canonical Goblint_lib.Selector *)
module Selector = Goblint_lib__Selector

(** @canonical Goblint_lib.Serialize *)
module Serialize = Goblint_lib__Serialize

(** @canonical Goblint_lib.Server *)
module Server = Goblint_lib__Server

(** @canonical Goblint_lib.SetDomain *)
module SetDomain = Goblint_lib__SetDomain

(** @canonical Goblint_lib.Signs *)
module Signs = Goblint_lib__Signs

(** @canonical Goblint_lib.Spec *)
module Spec = Goblint_lib__Spec

(** @canonical Goblint_lib.SpecCore *)
module SpecCore = Goblint_lib__SpecCore

(** @canonical Goblint_lib.SpecDomain *)
module SpecDomain = Goblint_lib__SpecDomain

(** @canonical Goblint_lib.SpecLexer *)
module SpecLexer = Goblint_lib__SpecLexer

(** @canonical Goblint_lib.SpecParser *)
module SpecParser = Goblint_lib__SpecParser

(** @canonical Goblint_lib.SpecUtil *)
module SpecUtil = Goblint_lib__SpecUtil

(** @canonical Goblint_lib.StackDomain *)
module StackDomain = Goblint_lib__StackDomain

(** @canonical Goblint_lib.StackTrace *)
module StackTrace = Goblint_lib__StackTrace

(** @canonical Goblint_lib.StructDomain *)
module StructDomain = Goblint_lib__StructDomain

(** @canonical Goblint_lib.Svcomp *)
module Svcomp = Goblint_lib__Svcomp

(** @canonical Goblint_lib.SymbLocks *)
module SymbLocks = Goblint_lib__SymbLocks

(** @canonical Goblint_lib.SymbLocksDomain *)
module SymbLocksDomain = Goblint_lib__SymbLocksDomain

(** @canonical Goblint_lib.Taint *)
module Taint = Goblint_lib__Taint

(** @canonical Goblint_lib.Td3 *)
module Td3 = Goblint_lib__Td3

(** @canonical Goblint_lib.Termination *)
module Termination = Goblint_lib__Termination

(** @canonical Goblint_lib.ThreadAnalysis *)
module ThreadAnalysis = Goblint_lib__ThreadAnalysis

(** @canonical Goblint_lib.ThreadEscape *)
module ThreadEscape = Goblint_lib__ThreadEscape

(** @canonical Goblint_lib.ThreadFlag *)
module ThreadFlag = Goblint_lib__ThreadFlag

(** @canonical Goblint_lib.ThreadFlagDomain *)
module ThreadFlagDomain = Goblint_lib__ThreadFlagDomain

(** @canonical Goblint_lib.ThreadId *)
module ThreadId = Goblint_lib__ThreadId

(** @canonical Goblint_lib.ThreadIdDomain *)
module ThreadIdDomain = Goblint_lib__ThreadIdDomain

(** @canonical Goblint_lib.ThreadJoins *)
module ThreadJoins = Goblint_lib__ThreadJoins

(** @canonical Goblint_lib.ThreadReturn *)
module ThreadReturn = Goblint_lib__ThreadReturn

(** @canonical Goblint_lib.TimeUtil *)
module TimeUtil = Goblint_lib__TimeUtil

(** @canonical Goblint_lib.Timeout *)
module Timeout = Goblint_lib__Timeout

(** @canonical Goblint_lib.TopDown *)
module TopDown = Goblint_lib__TopDown

(** @canonical Goblint_lib.TopDown_deprecated *)
module TopDown_deprecated = Goblint_lib__TopDown_deprecated

(** @canonical Goblint_lib.TopDown_space_cache_term *)
module TopDown_space_cache_term = Goblint_lib__TopDown_space_cache_term

(** @canonical Goblint_lib.TopDown_term *)
module TopDown_term = Goblint_lib__TopDown_term

(** @canonical Goblint_lib.Tracing *)
module Tracing = Goblint_lib__Tracing

(** @canonical Goblint_lib.Transform *)
module Transform = Goblint_lib__Transform

(** @canonical Goblint_lib.Uninit *)
module Uninit = Goblint_lib__Uninit

(** @canonical Goblint_lib.UnionDomain *)
module UnionDomain = Goblint_lib__UnionDomain

(** @canonical Goblint_lib.UnitAnalysis *)
module UnitAnalysis = Goblint_lib__UnitAnalysis

(** @canonical Goblint_lib.UpdateCil *)
module UpdateCil = Goblint_lib__UpdateCil

(** @canonical Goblint_lib.UpdateCil0 *)
module UpdateCil0 = Goblint_lib__UpdateCil0

(** @canonical Goblint_lib.ValueDomain *)
module ValueDomain = Goblint_lib__ValueDomain

(** @canonical Goblint_lib.VarEq *)
module VarEq = Goblint_lib__VarEq

(** @canonical Goblint_lib.VarQuery *)
module VarQuery = Goblint_lib__VarQuery

(** @canonical Goblint_lib.Version *)
module Version = Goblint_lib__Version

(** @canonical Goblint_lib.Violation *)
module Violation = Goblint_lib__Violation

(** @canonical Goblint_lib.ViolationZ3 *)
module ViolationZ3 = Goblint_lib__ViolationZ3

(** @canonical Goblint_lib.WideningThresholds *)
module WideningThresholds = Goblint_lib__WideningThresholds

(** @canonical Goblint_lib.Witness *)
module Witness = Goblint_lib__Witness

(** @canonical Goblint_lib.WitnessConstraints *)
module WitnessConstraints = Goblint_lib__WitnessConstraints

(** @canonical Goblint_lib.WitnessUtil *)
module WitnessUtil = Goblint_lib__WitnessUtil

(** @canonical Goblint_lib.Worklist *)
module Worklist = Goblint_lib__Worklist

(** @canonical Goblint_lib.XmlUtil *)
module XmlUtil = Goblint_lib__XmlUtil

(** @canonical Goblint_lib.YamlWitness *)
module YamlWitness = Goblint_lib__YamlWitness

(** @canonical Goblint_lib.YamlWitnessType *)
module YamlWitnessType = Goblint_lib__YamlWitnessType