(lang dune 3.16)
(name goblint)
(version v2.4.0)
(sections
 (lib /usr/lib64/opamroot/ocaml-system/lib/goblint)
 (libexec /usr/lib64/opamroot/ocaml-system/lib/goblint)
 (bin /usr/lib64/opamroot/ocaml-system/bin)
 (share /usr/lib64/opamroot/ocaml-system/share/goblint)
 (share_root /usr/lib64/opamroot/ocaml-system/share)
 (doc /usr/lib64/opamroot/ocaml-system/doc/goblint)
 (stublibs /usr/lib64/opamroot/ocaml-system/lib/stublibs))
(sites (conf share) (lib share))
(files
 (lib
  (META
   backtrace/goblint_backtrace.a
   backtrace/goblint_backtrace.cma
   backtrace/goblint_backtrace.cmi
   backtrace/goblint_backtrace.cmt
   backtrace/goblint_backtrace.cmti
   backtrace/goblint_backtrace.cmx
   backtrace/goblint_backtrace.cmxa
   backtrace/goblint_backtrace.ml
   backtrace/goblint_backtrace.mli
   build-info/configDatetime.ml
   build-info/configOcaml.ml
   build-info/configProfile.ml
   build-info/configVersion.ml
   build-info/dune/dune_build_info.ml
   build-info/dune/goblint_build_info.cmi
   build-info/dune/goblint_build_info.cmx
   build-info/dune/goblint_build_info__.cmi
   build-info/dune/goblint_build_info__.cmx
   build-info/dune/goblint_build_info__ConfigDatetime.cmi
   build-info/dune/goblint_build_info__ConfigDatetime.cmx
   build-info/dune/goblint_build_info__ConfigOcaml.cmi
   build-info/dune/goblint_build_info__ConfigOcaml.cmx
   build-info/dune/goblint_build_info__ConfigProfile.cmi
   build-info/dune/goblint_build_info__ConfigProfile.cmx
   build-info/dune/goblint_build_info__ConfigVersion.cmi
   build-info/dune/goblint_build_info__ConfigVersion.cmx
   build-info/dune/goblint_build_info__Dune_build_info.cmi
   build-info/dune/goblint_build_info__Dune_build_info.cmt
   build-info/dune/goblint_build_info__Dune_build_info.cmx
   build-info/dune/goblint_build_info__goblint_build_info_dune__.cmi
   build-info/dune/goblint_build_info__goblint_build_info_dune__.cmt
   build-info/dune/goblint_build_info__goblint_build_info_dune__.cmx
   build-info/dune/goblint_build_info__goblint_build_info_dune__.ml
   build-info/dune/goblint_build_info_dune.a
   build-info/dune/goblint_build_info_dune.cma
   build-info/dune/goblint_build_info_dune.cmxa
   build-info/dune_build_info.mli
   build-info/goblint_build_info.cmi
   build-info/goblint_build_info.cmo
   build-info/goblint_build_info.cmt
   build-info/goblint_build_info.cmx
   build-info/goblint_build_info.ml
   build-info/goblint_build_info.o
   build-info/goblint_build_info__.cmi
   build-info/goblint_build_info__.cmo
   build-info/goblint_build_info__.cmt
   build-info/goblint_build_info__.cmx
   build-info/goblint_build_info__.ml
   build-info/goblint_build_info__.o
   build-info/goblint_build_info__ConfigDatetime.cmi
   build-info/goblint_build_info__ConfigDatetime.cmo
   build-info/goblint_build_info__ConfigDatetime.cmt
   build-info/goblint_build_info__ConfigDatetime.cmx
   build-info/goblint_build_info__ConfigDatetime.o
   build-info/goblint_build_info__ConfigOcaml.cmi
   build-info/goblint_build_info__ConfigOcaml.cmo
   build-info/goblint_build_info__ConfigOcaml.cmt
   build-info/goblint_build_info__ConfigOcaml.cmx
   build-info/goblint_build_info__ConfigOcaml.o
   build-info/goblint_build_info__ConfigProfile.cmi
   build-info/goblint_build_info__ConfigProfile.cmo
   build-info/goblint_build_info__ConfigProfile.cmt
   build-info/goblint_build_info__ConfigProfile.cmx
   build-info/goblint_build_info__ConfigProfile.o
   build-info/goblint_build_info__ConfigVersion.cmi
   build-info/goblint_build_info__ConfigVersion.cmo
   build-info/goblint_build_info__ConfigVersion.cmt
   build-info/goblint_build_info__ConfigVersion.cmx
   build-info/goblint_build_info__ConfigVersion.o
   build-info/goblint_build_info__Dune_build_info.cmi
   build-info/goblint_build_info__Dune_build_info.cmti
   build-info/js/dune_build_info.ml
   build-info/js/goblint_build_info.cmi
   build-info/js/goblint_build_info.cmx
   build-info/js/goblint_build_info__.cmi
   build-info/js/goblint_build_info__.cmx
   build-info/js/goblint_build_info__ConfigDatetime.cmi
   build-info/js/goblint_build_info__ConfigDatetime.cmx
   build-info/js/goblint_build_info__ConfigOcaml.cmi
   build-info/js/goblint_build_info__ConfigOcaml.cmx
   build-info/js/goblint_build_info__ConfigProfile.cmi
   build-info/js/goblint_build_info__ConfigProfile.cmx
   build-info/js/goblint_build_info__ConfigVersion.cmi
   build-info/js/goblint_build_info__ConfigVersion.cmx
   build-info/js/goblint_build_info__Dune_build_info.cmi
   build-info/js/goblint_build_info__Dune_build_info.cmt
   build-info/js/goblint_build_info__Dune_build_info.cmx
   build-info/js/goblint_build_info__goblint_build_info_js__.cmi
   build-info/js/goblint_build_info__goblint_build_info_js__.cmt
   build-info/js/goblint_build_info__goblint_build_info_js__.cmx
   build-info/js/goblint_build_info__goblint_build_info_js__.ml
   build-info/js/goblint_build_info_js.a
   build-info/js/goblint_build_info_js.cma
   build-info/js/goblint_build_info_js.cmxa
   cdomain/value/addressDomain.cmi
   cdomain/value/addressDomain.cmt
   cdomain/value/addressDomain.cmti
   cdomain/value/addressDomain.cmx
   cdomain/value/addressDomain_intf.cmi
   cdomain/value/addressDomain_intf.cmt
   cdomain/value/addressDomain_intf.cmx
   cdomain/value/analyses/wrapperFunctionAnalysis0.ml
   cdomain/value/arrayDomain.cmi
   cdomain/value/arrayDomain.cmt
   cdomain/value/arrayDomain.cmti
   cdomain/value/arrayDomain.cmx
   cdomain/value/cdomains/addressDomain.ml
   cdomain/value/cdomains/addressDomain.mli
   cdomain/value/cdomains/addressDomain_intf.ml
   cdomain/value/cdomains/arrayDomain.ml
   cdomain/value/cdomains/arrayDomain.mli
   cdomain/value/cdomains/concDomain.ml
   cdomain/value/cdomains/floatDomain.ml
   cdomain/value/cdomains/floatDomain.mli
   cdomain/value/cdomains/intDomain.ml
   cdomain/value/cdomains/intDomain.mli
   cdomain/value/cdomains/jmpBufDomain.ml
   cdomain/value/cdomains/lval.ml
   cdomain/value/cdomains/mutexAttrDomain.ml
   cdomain/value/cdomains/mval.ml
   cdomain/value/cdomains/mval.mli
   cdomain/value/cdomains/mval_intf.ml
   cdomain/value/cdomains/nullByteSet.ml
   cdomain/value/cdomains/offset.ml
   cdomain/value/cdomains/offset.mli
   cdomain/value/cdomains/offset_intf.ml
   cdomain/value/cdomains/preValueDomain.ml
   cdomain/value/cdomains/stringDomain.ml
   cdomain/value/cdomains/stringDomain.mli
   cdomain/value/cdomains/structDomain.ml
   cdomain/value/cdomains/structDomain.mli
   cdomain/value/cdomains/threadIdDomain.ml
   cdomain/value/cdomains/unionDomain.ml
   cdomain/value/cdomains/valueDomain.ml
   cdomain/value/concDomain.cmi
   cdomain/value/concDomain.cmt
   cdomain/value/concDomain.cmx
   cdomain/value/domains/invariant.ml
   cdomain/value/domains/invariantCil.ml
   cdomain/value/domains/valueDomainQueries.ml
   cdomain/value/floatDomain.cmi
   cdomain/value/floatDomain.cmt
   cdomain/value/floatDomain.cmti
   cdomain/value/floatDomain.cmx
   cdomain/value/goblint_cdomain_value.a
   cdomain/value/goblint_cdomain_value.cma
   cdomain/value/goblint_cdomain_value.cmxa
   cdomain/value/intDomain.cmi
   cdomain/value/intDomain.cmt
   cdomain/value/intDomain.cmti
   cdomain/value/intDomain.cmx
   cdomain/value/invariant.cmi
   cdomain/value/invariant.cmt
   cdomain/value/invariant.cmx
   cdomain/value/invariantCil.cmi
   cdomain/value/invariantCil.cmt
   cdomain/value/invariantCil.cmx
   cdomain/value/jmpBufDomain.cmi
   cdomain/value/jmpBufDomain.cmt
   cdomain/value/jmpBufDomain.cmx
   cdomain/value/lval.cmi
   cdomain/value/lval.cmt
   cdomain/value/lval.cmx
   cdomain/value/mutexAttrDomain.cmi
   cdomain/value/mutexAttrDomain.cmt
   cdomain/value/mutexAttrDomain.cmx
   cdomain/value/mval.cmi
   cdomain/value/mval.cmt
   cdomain/value/mval.cmti
   cdomain/value/mval.cmx
   cdomain/value/mval_intf.cmi
   cdomain/value/mval_intf.cmt
   cdomain/value/mval_intf.cmx
   cdomain/value/nullByteSet.cmi
   cdomain/value/nullByteSet.cmt
   cdomain/value/nullByteSet.cmx
   cdomain/value/offset.cmi
   cdomain/value/offset.cmt
   cdomain/value/offset.cmti
   cdomain/value/offset.cmx
   cdomain/value/offset_intf.cmi
   cdomain/value/offset_intf.cmt
   cdomain/value/offset_intf.cmx
   cdomain/value/preValueDomain.cmi
   cdomain/value/preValueDomain.cmt
   cdomain/value/preValueDomain.cmx
   cdomain/value/precisionUtil.cmi
   cdomain/value/precisionUtil.cmt
   cdomain/value/precisionUtil.cmx
   cdomain/value/stringDomain.cmi
   cdomain/value/stringDomain.cmt
   cdomain/value/stringDomain.cmti
   cdomain/value/stringDomain.cmx
   cdomain/value/structDomain.cmi
   cdomain/value/structDomain.cmt
   cdomain/value/structDomain.cmti
   cdomain/value/structDomain.cmx
   cdomain/value/threadIdDomain.cmi
   cdomain/value/threadIdDomain.cmt
   cdomain/value/threadIdDomain.cmx
   cdomain/value/unionDomain.cmi
   cdomain/value/unionDomain.cmt
   cdomain/value/unionDomain.cmx
   cdomain/value/util/precisionUtil.ml
   cdomain/value/util/wideningThresholds.ml
   cdomain/value/util/wideningThresholds.mli
   cdomain/value/valueDomain.cmi
   cdomain/value/valueDomain.cmt
   cdomain/value/valueDomain.cmx
   cdomain/value/valueDomainQueries.cmi
   cdomain/value/valueDomainQueries.cmt
   cdomain/value/valueDomainQueries.cmx
   cdomain/value/wideningThresholds.cmi
   cdomain/value/wideningThresholds.cmt
   cdomain/value/wideningThresholds.cmti
   cdomain/value/wideningThresholds.cmx
   cdomain/value/wrapperFunctionAnalysis0.cmi
   cdomain/value/wrapperFunctionAnalysis0.cmt
   cdomain/value/wrapperFunctionAnalysis0.cmx
   common/analysisState.cmi
   common/analysisState.cmt
   common/analysisState.cmx
   common/analysisStateUtil.cmi
   common/analysisStateUtil.cmt
   common/analysisStateUtil.cmx
   common/basetype.cmi
   common/basetype.cmt
   common/basetype.cmx
   common/cdomains/basetype.ml
   common/cdomains/floatOps/floatOps.ml
   common/cdomains/floatOps/floatOps.mli
   common/cfgTools.cmi
   common/cfgTools.cmt
   common/cfgTools.cmx
   common/cilCfg0.cmi
   common/cilCfg0.cmt
   common/cilCfg0.cmx
   common/cilLocation.cmi
   common/cilLocation.cmt
   common/cilLocation.cmx
   common/cilType.cmi
   common/cilType.cmt
   common/cilType.cmx
   common/cilfacade.cmi
   common/cilfacade.cmt
   common/cilfacade.cmx
   common/cilfacade0.cmi
   common/cilfacade0.cmt
   common/cilfacade0.cmx
   common/contextUtil.cmi
   common/contextUtil.cmt
   common/contextUtil.cmx
   common/controlSpecC.cmi
   common/controlSpecC.cmt
   common/controlSpecC.cmti
   common/controlSpecC.cmx
   common/domains/printable.ml
   common/edge.cmi
   common/edge.cmt
   common/edge.cmx
   common/floatOps.cmi
   common/floatOps.cmt
   common/floatOps.cmti
   common/floatOps.cmx
   common/framework/analysisState.ml
   common/framework/cfgTools.ml
   common/framework/controlSpecC.ml
   common/framework/controlSpecC.mli
   common/framework/edge.ml
   common/framework/myCFG.ml
   common/framework/node.ml
   common/framework/node0.ml
   common/gobFormat.cmi
   common/gobFormat.cmt
   common/gobFormat.cmx
   common/goblint_common.a
   common/goblint_common.cma
   common/goblint_common.cmxa
   common/incremental/updateCil0.ml
   common/intOps.cmi
   common/intOps.cmt
   common/intOps.cmx
   common/lazyEval.cmi
   common/lazyEval.cmt
   common/lazyEval.cmx
   common/libgoblint_common_stubs.a
   common/loopUnrolling0.cmi
   common/loopUnrolling0.cmt
   common/loopUnrolling0.cmx
   common/messageCategory.cmi
   common/messageCategory.cmt
   common/messageCategory.cmx
   common/messageUtil.cmi
   common/messageUtil.cmt
   common/messageUtil.cmx
   common/messages.cmi
   common/messages.cmt
   common/messages.cmx
   common/myCFG.cmi
   common/myCFG.cmt
   common/myCFG.cmx
   common/node.cmi
   common/node.cmt
   common/node.cmx
   common/node0.cmi
   common/node0.cmt
   common/node0.cmx
   common/printable.cmi
   common/printable.cmt
   common/printable.cmx
   common/resettableLazy.cmi
   common/resettableLazy.cmt
   common/resettableLazy.cmti
   common/resettableLazy.cmx
   common/richVarinfo.cmi
   common/richVarinfo.cmt
   common/richVarinfo.cmti
   common/richVarinfo.cmx
   common/timing.cmi
   common/timing.cmt
   common/timing.cmx
   common/updateCil0.cmi
   common/updateCil0.cmt
   common/updateCil0.cmx
   common/util/analysisStateUtil.ml
   common/util/cilCfg0.ml
   common/util/cilLocation.ml
   common/util/cilType.ml
   common/util/cilfacade.ml
   common/util/cilfacade0.ml
   common/util/contextUtil.ml
   common/util/gobFormat.ml
   common/util/intOps.ml
   common/util/lazyEval.ml
   common/util/loopUnrolling0.ml
   common/util/messageCategory.ml
   common/util/messageUtil.ml
   common/util/messages.ml
   common/util/resettableLazy.ml
   common/util/resettableLazy.mli
   common/util/richVarinfo.ml
   common/util/richVarinfo.mli
   common/util/timing.ml
   common/util/xmlUtil.ml
   common/xmlUtil.cmi
   common/xmlUtil.cmt
   common/xmlUtil.cmx
   config/afterConfig.cmi
   config/afterConfig.cmt
   config/afterConfig.cmx
   config/afterConfig.ml
   config/gobConfig.cmi
   config/gobConfig.cmt
   config/gobConfig.cmx
   config/gobConfig.ml
   config/goblint_config.a
   config/goblint_config.cma
   config/goblint_config.cmxa
   config/jsonSchema.cmi
   config/jsonSchema.cmt
   config/jsonSchema.cmx
   config/jsonSchema.ml
   config/options.cmi
   config/options.cmt
   config/options.cmx
   config/options.ml
   constraint/constrSys.cmi
   constraint/constrSys.cmt
   constraint/constrSys.cmx
   constraint/constrSys.ml
   constraint/goblint_constraint.a
   constraint/goblint_constraint.cma
   constraint/goblint_constraint.cmxa
   constraint/varQuery.cmi
   constraint/varQuery.cmt
   constraint/varQuery.cmti
   constraint/varQuery.cmx
   constraint/varQuery.ml
   constraint/varQuery.mli
   domain/boolDomain.cmi
   domain/boolDomain.cmt
   domain/boolDomain.cmx
   domain/boolDomain.ml
   domain/disjointDomain.cmi
   domain/disjointDomain.cmt
   domain/disjointDomain.cmx
   domain/disjointDomain.ml
   domain/flagHelper.cmi
   domain/flagHelper.cmt
   domain/flagHelper.cmx
   domain/flagHelper.ml
   domain/goblint_domain.a
   domain/goblint_domain.cma
   domain/goblint_domain.cmxa
   domain/hoareDomain.cmi
   domain/hoareDomain.cmt
   domain/hoareDomain.cmx
   domain/hoareDomain.ml
   domain/lattice.cmi
   domain/lattice.cmt
   domain/lattice.cmx
   domain/lattice.ml
   domain/mapDomain.cmi
   domain/mapDomain.cmt
   domain/mapDomain.cmx
   domain/mapDomain.ml
   domain/partitionDomain.cmi
   domain/partitionDomain.cmt
   domain/partitionDomain.cmx
   domain/partitionDomain.ml
   domain/setDomain.cmi
   domain/setDomain.cmt
   domain/setDomain.cmx
   domain/setDomain.ml
   domain/trieDomain.cmi
   domain/trieDomain.cmt
   domain/trieDomain.cmx
   domain/trieDomain.ml
   dune-package
   incremental/cilMaps.cmi
   incremental/cilMaps.cmt
   incremental/cilMaps.cmx
   incremental/cilMaps.ml
   incremental/compareAST.cmi
   incremental/compareAST.cmt
   incremental/compareAST.cmx
   incremental/compareAST.ml
   incremental/compareCFG.cmi
   incremental/compareCFG.cmt
   incremental/compareCFG.cmx
   incremental/compareCFG.ml
   incremental/compareCIL.cmi
   incremental/compareCIL.cmt
   incremental/compareCIL.cmx
   incremental/compareCIL.ml
   incremental/goblint_incremental.a
   incremental/goblint_incremental.cma
   incremental/goblint_incremental.cmxa
   incremental/makefileUtil.cmi
   incremental/makefileUtil.cmt
   incremental/makefileUtil.cmx
   incremental/makefileUtil.ml
   incremental/maxIdUtil.cmi
   incremental/maxIdUtil.cmt
   incremental/maxIdUtil.cmx
   incremental/maxIdUtil.ml
   incremental/serialize.cmi
   incremental/serialize.cmt
   incremental/serialize.cmx
   incremental/serialize.ml
   incremental/updateCil.cmi
   incremental/updateCil.cmt
   incremental/updateCil.cmx
   incremental/updateCil.ml
   lib/affineEqualityAnalysis.ml
   lib/affineEqualityDomain.ml
   lib/analyses/abortUnless.ml
   lib/analyses/accessAnalysis.ml
   lib/analyses/activeLongjmp.ml
   lib/analyses/activeSetjmp.ml
   lib/analyses/assert.ml
   lib/analyses/base.ml
   lib/analyses/baseInvariant.ml
   lib/analyses/basePriv.ml
   lib/analyses/basePriv.mli
   lib/analyses/baseUtil.ml
   lib/analyses/baseUtil.mli
   lib/analyses/callstring.ml
   lib/analyses/commonPriv.ml
   lib/analyses/condVars.ml
   lib/analyses/deadlock.ml
   lib/analyses/expRelation.ml
   lib/analyses/expsplit.ml
   lib/analyses/extractPthread.ml
   lib/analyses/locksetAnalysis.ml
   lib/analyses/loopTermination.ml
   lib/analyses/loopfreeCallstring.ml
   lib/analyses/mCP.ml
   lib/analyses/mCPAccess.ml
   lib/analyses/mCPRegistry.ml
   lib/analyses/mHPAnalysis.ml
   lib/analyses/mallocFresh.ml
   lib/analyses/malloc_null.ml
   lib/analyses/mayLocks.ml
   lib/analyses/memLeak.ml
   lib/analyses/memOutOfBounds.ml
   lib/analyses/modifiedSinceSetjmp.ml
   lib/analyses/mutexAnalysis.ml
   lib/analyses/mutexEventsAnalysis.ml
   lib/analyses/mutexTypeAnalysis.ml
   lib/analyses/poisonVariables.ml
   lib/analyses/pthreadSignals.ml
   lib/analyses/ptranalAnalysis.ml
   lib/analyses/raceAnalysis.ml
   lib/analyses/region.ml
   lib/analyses/stackTrace.ml
   lib/analyses/symbLocks.ml
   lib/analyses/taintPartialContexts.ml
   lib/analyses/threadAnalysis.ml
   lib/analyses/threadEscape.ml
   lib/analyses/threadFlag.ml
   lib/analyses/threadId.ml
   lib/analyses/threadJoins.ml
   lib/analyses/threadReturn.ml
   lib/analyses/tmpSpecial.ml
   lib/analyses/tutorials/constants.ml
   lib/analyses/tutorials/signs.ml
   lib/analyses/tutorials/taint.ml
   lib/analyses/tutorials/unitAnalysis.ml
   lib/analyses/unassumeAnalysis.ml
   lib/analyses/uninit.ml
   lib/analyses/useAfterFree.ml
   lib/analyses/varEq.ml
   lib/analyses/vla.ml
   lib/analyses/wrapperFunctionAnalysis.ml
   lib/apronAnalysis.ml
   lib/apronDomain.ml
   lib/apronPrecCompareUtil.ml
   lib/autoTune.ml
   lib/autoTune0.ml
   lib/cdomains/baseDomain.ml
   lib/cdomains/deadlockDomain.ml
   lib/cdomains/escapeDomain.ml
   lib/cdomains/lockDomain.ml
   lib/cdomains/mHP.ml
   lib/cdomains/musteqDomain.ml
   lib/cdomains/pthreadDomain.ml
   lib/cdomains/regionDomain.ml
   lib/cdomains/stackDomain.ml
   lib/cdomains/symbLocksDomain.ml
   lib/cdomains/threadFlagDomain.ml
   lib/cdomains/vectorMatrix.ml
   lib/domains/abstractionDomainProperties.ml
   lib/domains/access.ml
   lib/domains/accessDomain.ml
   lib/domains/domainProperties.ml
   lib/domains/events.ml
   lib/domains/intDomainProperties.ml
   lib/domains/queries.ml
   lib/framework/analyses.ml
   lib/framework/analysisResult.ml
   lib/framework/constraints.ml
   lib/framework/control.ml
   lib/framework/refinement.ml
   lib/framework/resultQuery.ml
   lib/gobApron.ml
   lib/goblint_lib.a
   lib/goblint_lib.cma
   lib/goblint_lib.cmi
   lib/goblint_lib.cmt
   lib/goblint_lib.cmx
   lib/goblint_lib.cmxa
   lib/goblint_lib.ml
   lib/goblint_lib__.cmi
   lib/goblint_lib__.cmt
   lib/goblint_lib__.cmx
   lib/goblint_lib__.ml
   lib/goblint_lib__AbortUnless.cmi
   lib/goblint_lib__AbortUnless.cmt
   lib/goblint_lib__AbortUnless.cmx
   lib/goblint_lib__AbstractionDomainProperties.cmi
   lib/goblint_lib__AbstractionDomainProperties.cmt
   lib/goblint_lib__AbstractionDomainProperties.cmx
   lib/goblint_lib__Access.cmi
   lib/goblint_lib__Access.cmt
   lib/goblint_lib__Access.cmx
   lib/goblint_lib__AccessAnalysis.cmi
   lib/goblint_lib__AccessAnalysis.cmt
   lib/goblint_lib__AccessAnalysis.cmx
   lib/goblint_lib__AccessDomain.cmi
   lib/goblint_lib__AccessDomain.cmt
   lib/goblint_lib__AccessDomain.cmx
   lib/goblint_lib__ActiveLongjmp.cmi
   lib/goblint_lib__ActiveLongjmp.cmt
   lib/goblint_lib__ActiveLongjmp.cmx
   lib/goblint_lib__ActiveSetjmp.cmi
   lib/goblint_lib__ActiveSetjmp.cmt
   lib/goblint_lib__ActiveSetjmp.cmx
   lib/goblint_lib__AffineEqualityAnalysis.cmi
   lib/goblint_lib__AffineEqualityAnalysis.cmt
   lib/goblint_lib__AffineEqualityAnalysis.cmx
   lib/goblint_lib__AffineEqualityDomain.cmi
   lib/goblint_lib__AffineEqualityDomain.cmt
   lib/goblint_lib__AffineEqualityDomain.cmx
   lib/goblint_lib__Analyses.cmi
   lib/goblint_lib__Analyses.cmt
   lib/goblint_lib__Analyses.cmx
   lib/goblint_lib__AnalysisResult.cmi
   lib/goblint_lib__AnalysisResult.cmt
   lib/goblint_lib__AnalysisResult.cmx
   lib/goblint_lib__ApronAnalysis.cmi
   lib/goblint_lib__ApronAnalysis.cmt
   lib/goblint_lib__ApronAnalysis.cmx
   lib/goblint_lib__ApronDomain.cmi
   lib/goblint_lib__ApronDomain.cmt
   lib/goblint_lib__ApronDomain.cmx
   lib/goblint_lib__ApronPrecCompareUtil.cmi
   lib/goblint_lib__ApronPrecCompareUtil.cmt
   lib/goblint_lib__ApronPrecCompareUtil.cmx
   lib/goblint_lib__ArgTools.cmi
   lib/goblint_lib__ArgTools.cmt
   lib/goblint_lib__ArgTools.cmx
   lib/goblint_lib__Assert.cmi
   lib/goblint_lib__Assert.cmt
   lib/goblint_lib__Assert.cmx
   lib/goblint_lib__AutoSoundConfig.cmi
   lib/goblint_lib__AutoSoundConfig.cmt
   lib/goblint_lib__AutoSoundConfig.cmx
   lib/goblint_lib__AutoTune.cmi
   lib/goblint_lib__AutoTune.cmt
   lib/goblint_lib__AutoTune.cmx
   lib/goblint_lib__AutoTune0.cmi
   lib/goblint_lib__AutoTune0.cmt
   lib/goblint_lib__AutoTune0.cmx
   lib/goblint_lib__Base.cmi
   lib/goblint_lib__Base.cmt
   lib/goblint_lib__Base.cmx
   lib/goblint_lib__BaseDomain.cmi
   lib/goblint_lib__BaseDomain.cmt
   lib/goblint_lib__BaseDomain.cmx
   lib/goblint_lib__BaseInvariant.cmi
   lib/goblint_lib__BaseInvariant.cmt
   lib/goblint_lib__BaseInvariant.cmx
   lib/goblint_lib__BasePriv.cmi
   lib/goblint_lib__BasePriv.cmt
   lib/goblint_lib__BasePriv.cmti
   lib/goblint_lib__BasePriv.cmx
   lib/goblint_lib__BaseUtil.cmi
   lib/goblint_lib__BaseUtil.cmt
   lib/goblint_lib__BaseUtil.cmti
   lib/goblint_lib__BaseUtil.cmx
   lib/goblint_lib__Callstring.cmi
   lib/goblint_lib__Callstring.cmt
   lib/goblint_lib__Callstring.cmx
   lib/goblint_lib__CilCfg.cmi
   lib/goblint_lib__CilCfg.cmt
   lib/goblint_lib__CilCfg.cmx
   lib/goblint_lib__CommonPriv.cmi
   lib/goblint_lib__CommonPriv.cmt
   lib/goblint_lib__CommonPriv.cmx
   lib/goblint_lib__CompilationDatabase.cmi
   lib/goblint_lib__CompilationDatabase.cmt
   lib/goblint_lib__CompilationDatabase.cmx
   lib/goblint_lib__CondVars.cmi
   lib/goblint_lib__CondVars.cmt
   lib/goblint_lib__CondVars.cmx
   lib/goblint_lib__Constants.cmi
   lib/goblint_lib__Constants.cmt
   lib/goblint_lib__Constants.cmx
   lib/goblint_lib__Constraints.cmi
   lib/goblint_lib__Constraints.cmt
   lib/goblint_lib__Constraints.cmx
   lib/goblint_lib__Control.cmi
   lib/goblint_lib__Control.cmt
   lib/goblint_lib__Control.cmx
   lib/goblint_lib__DeadCode.cmi
   lib/goblint_lib__DeadCode.cmt
   lib/goblint_lib__DeadCode.cmx
   lib/goblint_lib__Deadlock.cmi
   lib/goblint_lib__Deadlock.cmt
   lib/goblint_lib__Deadlock.cmx
   lib/goblint_lib__DeadlockDomain.cmi
   lib/goblint_lib__DeadlockDomain.cmt
   lib/goblint_lib__DeadlockDomain.cmx
   lib/goblint_lib__DomainProperties.cmi
   lib/goblint_lib__DomainProperties.cmt
   lib/goblint_lib__DomainProperties.cmx
   lib/goblint_lib__EscapeDomain.cmi
   lib/goblint_lib__EscapeDomain.cmt
   lib/goblint_lib__EscapeDomain.cmx
   lib/goblint_lib__EvalAssert.cmi
   lib/goblint_lib__EvalAssert.cmt
   lib/goblint_lib__EvalAssert.cmx
   lib/goblint_lib__Events.cmi
   lib/goblint_lib__Events.cmt
   lib/goblint_lib__Events.cmx
   lib/goblint_lib__ExpRelation.cmi
   lib/goblint_lib__ExpRelation.cmt
   lib/goblint_lib__ExpRelation.cmx
   lib/goblint_lib__ExpressionEvaluation.cmi
   lib/goblint_lib__ExpressionEvaluation.cmt
   lib/goblint_lib__ExpressionEvaluation.cmx
   lib/goblint_lib__Expsplit.cmi
   lib/goblint_lib__Expsplit.cmt
   lib/goblint_lib__Expsplit.cmx
   lib/goblint_lib__ExtractPthread.cmi
   lib/goblint_lib__ExtractPthread.cmt
   lib/goblint_lib__ExtractPthread.cmx
   lib/goblint_lib__GobApron.cmi
   lib/goblint_lib__GobApron.cmt
   lib/goblint_lib__GobApron.cmx
   lib/goblint_lib__GobExn.cmi
   lib/goblint_lib__GobExn.cmt
   lib/goblint_lib__GobExn.cmx
   lib/goblint_lib__GoblintDir.cmi
   lib/goblint_lib__GoblintDir.cmt
   lib/goblint_lib__GoblintDir.cmx
   lib/goblint_lib__Graphml.cmi
   lib/goblint_lib__Graphml.cmt
   lib/goblint_lib__Graphml.cmx
   lib/goblint_lib__IntDomainProperties.cmi
   lib/goblint_lib__IntDomainProperties.cmt
   lib/goblint_lib__IntDomainProperties.cmx
   lib/goblint_lib__LinearTwoVarEqualityAnalysis.cmi
   lib/goblint_lib__LinearTwoVarEqualityAnalysis.cmt
   lib/goblint_lib__LinearTwoVarEqualityAnalysis.cmx
   lib/goblint_lib__LinearTwoVarEqualityDomain.cmi
   lib/goblint_lib__LinearTwoVarEqualityDomain.cmt
   lib/goblint_lib__LinearTwoVarEqualityDomain.cmx
   lib/goblint_lib__LockDomain.cmi
   lib/goblint_lib__LockDomain.cmt
   lib/goblint_lib__LockDomain.cmx
   lib/goblint_lib__LocksetAnalysis.cmi
   lib/goblint_lib__LocksetAnalysis.cmt
   lib/goblint_lib__LocksetAnalysis.cmx
   lib/goblint_lib__LoopTermination.cmi
   lib/goblint_lib__LoopTermination.cmt
   lib/goblint_lib__LoopTermination.cmx
   lib/goblint_lib__LoopUnrolling.cmi
   lib/goblint_lib__LoopUnrolling.cmt
   lib/goblint_lib__LoopUnrolling.cmti
   lib/goblint_lib__LoopUnrolling.cmx
   lib/goblint_lib__LoopfreeCallstring.cmi
   lib/goblint_lib__LoopfreeCallstring.cmt
   lib/goblint_lib__LoopfreeCallstring.cmx
   lib/goblint_lib__MCP.cmi
   lib/goblint_lib__MCP.cmt
   lib/goblint_lib__MCP.cmx
   lib/goblint_lib__MCPAccess.cmi
   lib/goblint_lib__MCPAccess.cmt
   lib/goblint_lib__MCPAccess.cmx
   lib/goblint_lib__MCPRegistry.cmi
   lib/goblint_lib__MCPRegistry.cmt
   lib/goblint_lib__MCPRegistry.cmx
   lib/goblint_lib__MHP.cmi
   lib/goblint_lib__MHP.cmt
   lib/goblint_lib__MHP.cmx
   lib/goblint_lib__MHPAnalysis.cmi
   lib/goblint_lib__MHPAnalysis.cmt
   lib/goblint_lib__MHPAnalysis.cmx
   lib/goblint_lib__Maingoblint.cmi
   lib/goblint_lib__Maingoblint.cmt
   lib/goblint_lib__Maingoblint.cmx
   lib/goblint_lib__MallocFresh.cmi
   lib/goblint_lib__MallocFresh.cmt
   lib/goblint_lib__MallocFresh.cmx
   lib/goblint_lib__Malloc_null.cmi
   lib/goblint_lib__Malloc_null.cmt
   lib/goblint_lib__Malloc_null.cmx
   lib/goblint_lib__MayLocks.cmi
   lib/goblint_lib__MayLocks.cmt
   lib/goblint_lib__MayLocks.cmx
   lib/goblint_lib__MemLeak.cmi
   lib/goblint_lib__MemLeak.cmt
   lib/goblint_lib__MemLeak.cmx
   lib/goblint_lib__MemOutOfBounds.cmi
   lib/goblint_lib__MemOutOfBounds.cmt
   lib/goblint_lib__MemOutOfBounds.cmx
   lib/goblint_lib__ModifiedSinceSetjmp.cmi
   lib/goblint_lib__ModifiedSinceSetjmp.cmt
   lib/goblint_lib__ModifiedSinceSetjmp.cmx
   lib/goblint_lib__MusteqDomain.cmi
   lib/goblint_lib__MusteqDomain.cmt
   lib/goblint_lib__MusteqDomain.cmx
   lib/goblint_lib__MutexAnalysis.cmi
   lib/goblint_lib__MutexAnalysis.cmt
   lib/goblint_lib__MutexAnalysis.cmx
   lib/goblint_lib__MutexEventsAnalysis.cmi
   lib/goblint_lib__MutexEventsAnalysis.cmt
   lib/goblint_lib__MutexEventsAnalysis.cmx
   lib/goblint_lib__MutexTypeAnalysis.cmi
   lib/goblint_lib__MutexTypeAnalysis.cmt
   lib/goblint_lib__MutexTypeAnalysis.cmx
   lib/goblint_lib__MyARG.cmi
   lib/goblint_lib__MyARG.cmt
   lib/goblint_lib__MyARG.cmx
   lib/goblint_lib__ObserverAnalysis.cmi
   lib/goblint_lib__ObserverAnalysis.cmt
   lib/goblint_lib__ObserverAnalysis.cmx
   lib/goblint_lib__ObserverAutomaton.cmi
   lib/goblint_lib__ObserverAutomaton.cmt
   lib/goblint_lib__ObserverAutomaton.cmx
   lib/goblint_lib__PoisonVariables.cmi
   lib/goblint_lib__PoisonVariables.cmt
   lib/goblint_lib__PoisonVariables.cmx
   lib/goblint_lib__PrecCompare.cmi
   lib/goblint_lib__PrecCompare.cmt
   lib/goblint_lib__PrecCompare.cmx
   lib/goblint_lib__PrecCompareUtil.cmi
   lib/goblint_lib__PrecCompareUtil.cmt
   lib/goblint_lib__PrecCompareUtil.cmx
   lib/goblint_lib__Preprocessor.cmi
   lib/goblint_lib__Preprocessor.cmt
   lib/goblint_lib__Preprocessor.cmx
   lib/goblint_lib__PrivPrecCompareUtil.cmi
   lib/goblint_lib__PrivPrecCompareUtil.cmt
   lib/goblint_lib__PrivPrecCompareUtil.cmx
   lib/goblint_lib__ProcessPool.cmi
   lib/goblint_lib__ProcessPool.cmt
   lib/goblint_lib__ProcessPool.cmx
   lib/goblint_lib__PthreadDomain.cmi
   lib/goblint_lib__PthreadDomain.cmt
   lib/goblint_lib__PthreadDomain.cmx
   lib/goblint_lib__PthreadSignals.cmi
   lib/goblint_lib__PthreadSignals.cmt
   lib/goblint_lib__PthreadSignals.cmx
   lib/goblint_lib__PtranalAnalysis.cmi
   lib/goblint_lib__PtranalAnalysis.cmt
   lib/goblint_lib__PtranalAnalysis.cmx
   lib/goblint_lib__Queries.cmi
   lib/goblint_lib__Queries.cmt
   lib/goblint_lib__Queries.cmx
   lib/goblint_lib__RaceAnalysis.cmi
   lib/goblint_lib__RaceAnalysis.cmt
   lib/goblint_lib__RaceAnalysis.cmx
   lib/goblint_lib__Refinement.cmi
   lib/goblint_lib__Refinement.cmt
   lib/goblint_lib__Refinement.cmx
   lib/goblint_lib__Region.cmi
   lib/goblint_lib__Region.cmt
   lib/goblint_lib__Region.cmx
   lib/goblint_lib__RegionDomain.cmi
   lib/goblint_lib__RegionDomain.cmt
   lib/goblint_lib__RegionDomain.cmx
   lib/goblint_lib__RelationAnalysis.cmi
   lib/goblint_lib__RelationAnalysis.cmt
   lib/goblint_lib__RelationAnalysis.cmx
   lib/goblint_lib__RelationDomain.cmi
   lib/goblint_lib__RelationDomain.cmt
   lib/goblint_lib__RelationDomain.cmx
   lib/goblint_lib__RelationPrecCompareUtil.cmi
   lib/goblint_lib__RelationPrecCompareUtil.cmt
   lib/goblint_lib__RelationPrecCompareUtil.cmx
   lib/goblint_lib__RelationPriv.cmi
   lib/goblint_lib__RelationPriv.cmt
   lib/goblint_lib__RelationPriv.cmx
   lib/goblint_lib__ResultQuery.cmi
   lib/goblint_lib__ResultQuery.cmt
   lib/goblint_lib__ResultQuery.cmx
   lib/goblint_lib__ReturnUtil.cmi
   lib/goblint_lib__ReturnUtil.cmt
   lib/goblint_lib__ReturnUtil.cmx
   lib/goblint_lib__Sarif.cmi
   lib/goblint_lib__Sarif.cmt
   lib/goblint_lib__Sarif.cmx
   lib/goblint_lib__SarifRules.cmi
   lib/goblint_lib__SarifRules.cmt
   lib/goblint_lib__SarifRules.cmx
   lib/goblint_lib__SarifType.cmi
   lib/goblint_lib__SarifType.cmt
   lib/goblint_lib__SarifType.cmx
   lib/goblint_lib__Server.cmi
   lib/goblint_lib__Server.cmt
   lib/goblint_lib__Server.cmx
   lib/goblint_lib__SharedFunctions.cmi
   lib/goblint_lib__SharedFunctions.cmt
   lib/goblint_lib__SharedFunctions.cmx
   lib/goblint_lib__Signs.cmi
   lib/goblint_lib__Signs.cmt
   lib/goblint_lib__Signs.cmx
   lib/goblint_lib__StackDomain.cmi
   lib/goblint_lib__StackDomain.cmt
   lib/goblint_lib__StackDomain.cmx
   lib/goblint_lib__StackTrace.cmi
   lib/goblint_lib__StackTrace.cmt
   lib/goblint_lib__StackTrace.cmx
   lib/goblint_lib__Svcomp.cmi
   lib/goblint_lib__Svcomp.cmt
   lib/goblint_lib__Svcomp.cmx
   lib/goblint_lib__SvcompSpec.cmi
   lib/goblint_lib__SvcompSpec.cmt
   lib/goblint_lib__SvcompSpec.cmx
   lib/goblint_lib__SymbLocks.cmi
   lib/goblint_lib__SymbLocks.cmt
   lib/goblint_lib__SymbLocks.cmx
   lib/goblint_lib__SymbLocksDomain.cmi
   lib/goblint_lib__SymbLocksDomain.cmt
   lib/goblint_lib__SymbLocksDomain.cmx
   lib/goblint_lib__Taint.cmi
   lib/goblint_lib__Taint.cmt
   lib/goblint_lib__Taint.cmx
   lib/goblint_lib__TaintPartialContexts.cmi
   lib/goblint_lib__TaintPartialContexts.cmt
   lib/goblint_lib__TaintPartialContexts.cmx
   lib/goblint_lib__TerminationPreprocessing.cmi
   lib/goblint_lib__TerminationPreprocessing.cmt
   lib/goblint_lib__TerminationPreprocessing.cmx
   lib/goblint_lib__ThreadAnalysis.cmi
   lib/goblint_lib__ThreadAnalysis.cmt
   lib/goblint_lib__ThreadAnalysis.cmx
   lib/goblint_lib__ThreadEscape.cmi
   lib/goblint_lib__ThreadEscape.cmt
   lib/goblint_lib__ThreadEscape.cmx
   lib/goblint_lib__ThreadFlag.cmi
   lib/goblint_lib__ThreadFlag.cmt
   lib/goblint_lib__ThreadFlag.cmx
   lib/goblint_lib__ThreadFlagDomain.cmi
   lib/goblint_lib__ThreadFlagDomain.cmt
   lib/goblint_lib__ThreadFlagDomain.cmx
   lib/goblint_lib__ThreadId.cmi
   lib/goblint_lib__ThreadId.cmt
   lib/goblint_lib__ThreadId.cmx
   lib/goblint_lib__ThreadJoins.cmi
   lib/goblint_lib__ThreadJoins.cmt
   lib/goblint_lib__ThreadJoins.cmx
   lib/goblint_lib__ThreadReturn.cmi
   lib/goblint_lib__ThreadReturn.cmt
   lib/goblint_lib__ThreadReturn.cmx
   lib/goblint_lib__TimeUtil.cmi
   lib/goblint_lib__TimeUtil.cmt
   lib/goblint_lib__TimeUtil.cmx
   lib/goblint_lib__Timeout.cmi
   lib/goblint_lib__Timeout.cmt
   lib/goblint_lib__Timeout.cmx
   lib/goblint_lib__TmpSpecial.cmi
   lib/goblint_lib__TmpSpecial.cmt
   lib/goblint_lib__TmpSpecial.cmx
   lib/goblint_lib__Transform.cmi
   lib/goblint_lib__Transform.cmt
   lib/goblint_lib__Transform.cmx
   lib/goblint_lib__UnassumeAnalysis.cmi
   lib/goblint_lib__UnassumeAnalysis.cmt
   lib/goblint_lib__UnassumeAnalysis.cmx
   lib/goblint_lib__Uninit.cmi
   lib/goblint_lib__Uninit.cmt
   lib/goblint_lib__Uninit.cmx
   lib/goblint_lib__UnitAnalysis.cmi
   lib/goblint_lib__UnitAnalysis.cmt
   lib/goblint_lib__UnitAnalysis.cmx
   lib/goblint_lib__UseAfterFree.cmi
   lib/goblint_lib__UseAfterFree.cmt
   lib/goblint_lib__UseAfterFree.cmx
   lib/goblint_lib__VarEq.cmi
   lib/goblint_lib__VarEq.cmt
   lib/goblint_lib__VarEq.cmx
   lib/goblint_lib__VectorMatrix.cmi
   lib/goblint_lib__VectorMatrix.cmt
   lib/goblint_lib__VectorMatrix.cmx
   lib/goblint_lib__Violation.cmi
   lib/goblint_lib__Violation.cmt
   lib/goblint_lib__Violation.cmx
   lib/goblint_lib__ViolationZ3.cmi
   lib/goblint_lib__ViolationZ3.cmt
   lib/goblint_lib__ViolationZ3.cmx
   lib/goblint_lib__Vla.cmi
   lib/goblint_lib__Vla.cmt
   lib/goblint_lib__Vla.cmx
   lib/goblint_lib__WideningTokens.cmi
   lib/goblint_lib__WideningTokens.cmt
   lib/goblint_lib__WideningTokens.cmx
   lib/goblint_lib__Witness.cmi
   lib/goblint_lib__Witness.cmt
   lib/goblint_lib__Witness.cmx
   lib/goblint_lib__WitnessConstraints.cmi
   lib/goblint_lib__WitnessConstraints.cmt
   lib/goblint_lib__WitnessConstraints.cmx
   lib/goblint_lib__WitnessUtil.cmi
   lib/goblint_lib__WitnessUtil.cmt
   lib/goblint_lib__WitnessUtil.cmx
   lib/goblint_lib__WrapperFunctionAnalysis.cmi
   lib/goblint_lib__WrapperFunctionAnalysis.cmt
   lib/goblint_lib__WrapperFunctionAnalysis.cmx
   lib/goblint_lib__YamlWitness.cmi
   lib/goblint_lib__YamlWitness.cmt
   lib/goblint_lib__YamlWitness.cmx
   lib/goblint_lib__YamlWitnessType.cmi
   lib/goblint_lib__YamlWitnessType.cmt
   lib/goblint_lib__YamlWitnessType.cmx
   lib/linearTwoVarEqualityAnalysis.ml
   lib/linearTwoVarEqualityDomain.ml
   lib/maingoblint.ml
   lib/relationAnalysis.ml
   lib/relationDomain.ml
   lib/relationPrecCompareUtil.ml
   lib/relationPriv.ml
   lib/sharedFunctions.ml
   lib/transform/deadCode.ml
   lib/transform/evalAssert.ml
   lib/transform/expressionEvaluation.ml
   lib/transform/transform.ml
   lib/util/autoSoundConfig.ml
   lib/util/cilCfg.ml
   lib/util/compilationDatabase.ml
   lib/util/gobExn.ml
   lib/util/goblintDir.ml
   lib/util/loopUnrolling.ml
   lib/util/loopUnrolling.mli
   lib/util/precCompare.ml
   lib/util/precCompareUtil.ml
   lib/util/preprocessor.ml
   lib/util/privPrecCompareUtil.ml
   lib/util/processPool.ml
   lib/util/returnUtil.ml
   lib/util/sarif.ml
   lib/util/sarifRules.ml
   lib/util/sarifType.ml
   lib/util/server.ml
   lib/util/terminationPreprocessing.ml
   lib/util/timeout.ml
   lib/util/wideningTokens.ml
   lib/violationZ3.ml
   lib/witness/argTools.ml
   lib/witness/graphml.ml
   lib/witness/myARG.ml
   lib/witness/observerAnalysis.ml
   lib/witness/observerAutomaton.ml
   lib/witness/svcomp.ml
   lib/witness/svcompSpec.ml
   lib/witness/timeUtil.ml
   lib/witness/violation.ml
   lib/witness/witness.ml
   lib/witness/witnessConstraints.ml
   lib/witness/witnessUtil.ml
   lib/witness/yamlWitness.ml
   lib/witness/yamlWitnessType.ml
   library/accessKind.cmi
   library/accessKind.cmt
   library/accessKind.cmx
   library/accessKind.ml
   library/goblint_library.a
   library/goblint_library.cma
   library/goblint_library.cmxa
   library/libraryDesc.cmi
   library/libraryDesc.cmt
   library/libraryDesc.cmx
   library/libraryDesc.ml
   library/libraryDsl.cmi
   library/libraryDsl.cmt
   library/libraryDsl.cmti
   library/libraryDsl.cmx
   library/libraryDsl.ml
   library/libraryDsl.mli
   library/libraryFunctions.cmi
   library/libraryFunctions.cmt
   library/libraryFunctions.cmti
   library/libraryFunctions.cmx
   library/libraryFunctions.ml
   library/libraryFunctions.mli
   logs/ansiColors.ml
   logs/goblint_logs.a
   logs/goblint_logs.cma
   logs/goblint_logs.cmi
   logs/goblint_logs.cmt
   logs/goblint_logs.cmx
   logs/goblint_logs.cmxa
   logs/goblint_logs.ml
   logs/goblint_logs__AnsiColors.cmi
   logs/goblint_logs__AnsiColors.cmt
   logs/goblint_logs__AnsiColors.cmx
   logs/goblint_logs__Logs.cmi
   logs/goblint_logs__Logs.cmt
   logs/goblint_logs__Logs.cmx
   logs/logs.ml
   opam
   sites/dune/.private/goblint_sites__goblint_sites_dune__Dunesite.cmi
   sites/dune/.private/goblint_sites__goblint_sites_dune__Dunesite.cmt
   sites/dune/Dunesite.ml
   sites/dune/goblint_sites.cmi
   sites/dune/goblint_sites.cmt
   sites/dune/goblint_sites.cmx
   sites/dune/goblint_sites.ml
   sites/dune/goblint_sites__goblint_sites_dune__.cmi
   sites/dune/goblint_sites__goblint_sites_dune__.cmt
   sites/dune/goblint_sites__goblint_sites_dune__.cmx
   sites/dune/goblint_sites__goblint_sites_dune__.ml
   sites/dune/goblint_sites__goblint_sites_dune__Dunesite.cmx
   sites/dune/goblint_sites_dune.a
   sites/dune/goblint_sites_dune.cma
   sites/dune/goblint_sites_dune.cmxa
   sites/goblint_sites.cmi
   sites/goblint_sites.cmti
   sites/goblint_sites.mli
   sites/js/goblint_sites.cmi
   sites/js/goblint_sites.cmt
   sites/js/goblint_sites.cmx
   sites/js/goblint_sites.ml
   sites/js/goblint_sites__goblint_sites_js__.cmi
   sites/js/goblint_sites__goblint_sites_js__.cmt
   sites/js/goblint_sites__goblint_sites_js__.cmx
   sites/js/goblint_sites__goblint_sites_js__.ml
   sites/js/goblint_sites_js.a
   sites/js/goblint_sites_js.cma
   sites/js/goblint_sites_js.cmxa
   solver/effectWConEq.ml
   solver/generic.ml
   solver/goblint_solver.a
   solver/goblint_solver.cma
   solver/goblint_solver.cmi
   solver/goblint_solver.cmt
   solver/goblint_solver.cmx
   solver/goblint_solver.cmxa
   solver/goblint_solver.ml
   solver/goblint_solver__.cmi
   solver/goblint_solver__.cmt
   solver/goblint_solver__.cmx
   solver/goblint_solver__.ml
   solver/goblint_solver__EffectWConEq.cmi
   solver/goblint_solver__EffectWConEq.cmt
   solver/goblint_solver__EffectWConEq.cmx
   solver/goblint_solver__Generic.cmi
   solver/goblint_solver__Generic.cmt
   solver/goblint_solver__Generic.cmx
   solver/goblint_solver__LocalFixpoint.cmi
   solver/goblint_solver__LocalFixpoint.cmt
   solver/goblint_solver__LocalFixpoint.cmx
   solver/goblint_solver__PostSolver.cmi
   solver/goblint_solver__PostSolver.cmt
   solver/goblint_solver__PostSolver.cmx
   solver/goblint_solver__SLR.cmi
   solver/goblint_solver__SLR.cmt
   solver/goblint_solver__SLR.cmx
   solver/goblint_solver__SLRphased.cmi
   solver/goblint_solver__SLRphased.cmt
   solver/goblint_solver__SLRphased.cmx
   solver/goblint_solver__SLRterm.cmi
   solver/goblint_solver__SLRterm.cmt
   solver/goblint_solver__SLRterm.cmx
   solver/goblint_solver__Selector.cmi
   solver/goblint_solver__Selector.cmt
   solver/goblint_solver__Selector.cmx
   solver/goblint_solver__SolverBox.cmi
   solver/goblint_solver__SolverBox.cmt
   solver/goblint_solver__SolverBox.cmx
   solver/goblint_solver__SolverStats.cmi
   solver/goblint_solver__SolverStats.cmt
   solver/goblint_solver__SolverStats.cmx
   solver/goblint_solver__Td3.cmi
   solver/goblint_solver__Td3.cmt
   solver/goblint_solver__Td3.cmx
   solver/goblint_solver__TopDown.cmi
   solver/goblint_solver__TopDown.cmt
   solver/goblint_solver__TopDown.cmx
   solver/goblint_solver__TopDown_deprecated.cmi
   solver/goblint_solver__TopDown_deprecated.cmt
   solver/goblint_solver__TopDown_deprecated.cmx
   solver/goblint_solver__TopDown_space_cache_term.cmi
   solver/goblint_solver__TopDown_space_cache_term.cmt
   solver/goblint_solver__TopDown_space_cache_term.cmx
   solver/goblint_solver__TopDown_term.cmi
   solver/goblint_solver__TopDown_term.cmt
   solver/goblint_solver__TopDown_term.cmx
   solver/goblint_solver__Worklist.cmi
   solver/goblint_solver__Worklist.cmt
   solver/goblint_solver__Worklist.cmx
   solver/localFixpoint.ml
   solver/postSolver.ml
   solver/sLR.ml
   solver/sLRphased.ml
   solver/sLRterm.ml
   solver/selector.ml
   solver/solverBox.ml
   solver/solverStats.ml
   solver/td3.ml
   solver/topDown.ml
   solver/topDown_deprecated.ml
   solver/topDown_space_cache_term.ml
   solver/topDown_term.ml
   solver/worklist.ml
   std/gobArray.ml
   std/gobFpath.ml
   std/gobGc.ml
   std/gobHashtbl.ml
   std/gobList.ml
   std/gobOption.ml
   std/gobPretty.ml
   std/gobQCheck.ml
   std/gobRef.ml
   std/gobResult.ml
   std/gobSys.ml
   std/gobUnix.ml
   std/gobYaml.ml
   std/gobYojson.ml
   std/gobZ.ml
   std/goblint_std.a
   std/goblint_std.cma
   std/goblint_std.cmi
   std/goblint_std.cmt
   std/goblint_std.cmx
   std/goblint_std.cmxa
   std/goblint_std.ml
   std/goblint_std__.cmi
   std/goblint_std__.cmt
   std/goblint_std__.cmx
   std/goblint_std__.ml
   std/goblint_std__GobArray.cmi
   std/goblint_std__GobArray.cmt
   std/goblint_std__GobArray.cmx
   std/goblint_std__GobFpath.cmi
   std/goblint_std__GobFpath.cmt
   std/goblint_std__GobFpath.cmx
   std/goblint_std__GobGc.cmi
   std/goblint_std__GobGc.cmt
   std/goblint_std__GobGc.cmx
   std/goblint_std__GobHashtbl.cmi
   std/goblint_std__GobHashtbl.cmt
   std/goblint_std__GobHashtbl.cmx
   std/goblint_std__GobList.cmi
   std/goblint_std__GobList.cmt
   std/goblint_std__GobList.cmx
   std/goblint_std__GobOption.cmi
   std/goblint_std__GobOption.cmt
   std/goblint_std__GobOption.cmx
   std/goblint_std__GobPretty.cmi
   std/goblint_std__GobPretty.cmt
   std/goblint_std__GobPretty.cmx
   std/goblint_std__GobQCheck.cmi
   std/goblint_std__GobQCheck.cmt
   std/goblint_std__GobQCheck.cmx
   std/goblint_std__GobRef.cmi
   std/goblint_std__GobRef.cmt
   std/goblint_std__GobRef.cmx
   std/goblint_std__GobResult.cmi
   std/goblint_std__GobResult.cmt
   std/goblint_std__GobResult.cmx
   std/goblint_std__GobSys.cmi
   std/goblint_std__GobSys.cmt
   std/goblint_std__GobSys.cmx
   std/goblint_std__GobUnix.cmi
   std/goblint_std__GobUnix.cmt
   std/goblint_std__GobUnix.cmx
   std/goblint_std__GobYaml.cmi
   std/goblint_std__GobYaml.cmt
   std/goblint_std__GobYaml.cmx
   std/goblint_std__GobYojson.cmi
   std/goblint_std__GobYojson.cmt
   std/goblint_std__GobYojson.cmx
   std/goblint_std__GobZ.cmi
   std/goblint_std__GobZ.cmt
   std/goblint_std__GobZ.cmx
   timing/goblint_timing.a
   timing/goblint_timing.cma
   timing/goblint_timing.cmi
   timing/goblint_timing.cmt
   timing/goblint_timing.cmti
   timing/goblint_timing.cmx
   timing/goblint_timing.cmxa
   timing/goblint_timing.ml
   timing/goblint_timing.mli
   timing/goblint_timing__.cmi
   timing/goblint_timing__.cmt
   timing/goblint_timing__.cmx
   timing/goblint_timing__.ml
   timing/goblint_timing__Goblint_timing_intf.cmi
   timing/goblint_timing__Goblint_timing_intf.cmt
   timing/goblint_timing__Goblint_timing_intf.cmx
   timing/goblint_timing_intf.ml
   tracing/goblint_tracing.a
   tracing/goblint_tracing.cma
   tracing/goblint_tracing.cmi
   tracing/goblint_tracing.cmt
   tracing/goblint_tracing.cmx
   tracing/goblint_tracing.cmxa
   tracing/goblint_tracing.ml))
 (libexec
  (backtrace/goblint_backtrace.cmxs
   build-info/dune/goblint_build_info_dune.cmxs
   build-info/js/goblint_build_info_js.cmxs
   cdomain/value/goblint_cdomain_value.cmxs
   common/goblint_common.cmxs
   config/goblint_config.cmxs
   constraint/goblint_constraint.cmxs
   domain/goblint_domain.cmxs
   incremental/goblint_incremental.cmxs
   lib/goblint_lib.cmxs
   library/goblint_library.cmxs
   logs/goblint_logs.cmxs
   sites/dune/goblint_sites_dune.cmxs
   sites/js/goblint_sites_js.cmxs
   solver/goblint_solver.cmxs
   std/goblint_std.cmxs
   timing/goblint_timing.cmxs
   tracing/goblint_tracing.cmxs))
 (bin (goblint))
 (share_root
  (goblint/conf/bench-yaml-validate.json
   goblint/conf/bench-yaml.json
   goblint/conf/examples/large-program.json
   goblint/conf/examples/medium-program.json
   goblint/conf/examples/very-precise.json
   goblint/conf/incremental.json
   goblint/conf/ldv-races.json
   goblint/conf/min-unsound.json
   goblint/conf/minimal_incremental.json
   goblint/conf/svcomp-yaml-validate.json
   goblint/conf/svcomp-yaml.json
   goblint/conf/svcomp.json
   goblint/conf/svcomp21.json
   goblint/conf/svcomp22-intervals-novareq-affeq-apron.json
   goblint/conf/svcomp22-intervals-novareq-affeq-native.json
   goblint/conf/svcomp22-intervals-novareq-octagon-apron.json
   goblint/conf/svcomp22-intervals-novareq-polyhedra-apron.json
   goblint/conf/svcomp22.json
   goblint/conf/svcomp23.json
   goblint/conf/svcomp24-validate.json
   goblint/conf/svcomp24.json
   goblint/conf/svcomp2var.json
   goblint/conf/traces-rel-toy.json
   goblint/conf/traces-rel.json
   goblint/conf/traces.json
   goblint/conf/zstd-race.json
   goblint/lib/runtime/dllgoblint.so
   goblint/lib/runtime/include/goblint.h
   goblint/lib/runtime/libgoblint.a
   goblint/lib/stub/include/assert.h
   goblint/lib/stub/include/linux/goblint_preconf.h
   goblint/lib/stub/include/linuxlight.h
   goblint/lib/stub/src/pthread.c
   goblint/lib/stub/src/stdlib.c
   goblint/lib/stub/src/sv-comp.c))
 (doc
  (CHANGELOG.md
   LICENSE
   README.md
   odoc-pages/cdomain_value.mld
   odoc-pages/common.mld
   odoc-pages/config.mld
   odoc-pages/constraint.mld
   odoc-pages/domain.mld
   odoc-pages/incremental.mld
   odoc-pages/index.mld
   odoc-pages/library.mld))
 (stublibs (dllgoblint_common_stubs.so)))
(library
 (name goblint.backtrace)
 (kind normal)
 (archives
  (byte backtrace/goblint_backtrace.cma)
  (native backtrace/goblint_backtrace.cmxa))
 (plugins
  (byte backtrace/goblint_backtrace.cma)
  (native backtrace/goblint_backtrace.cmxs))
 (native_archives backtrace/goblint_backtrace.a)
 (main_module_name Goblint_backtrace)
 (modes byte native)
 (modules
  (singleton
   (obj_name goblint_backtrace)
   (visibility public)
   (source
    (path Goblint_backtrace)
    (intf (path backtrace/goblint_backtrace.mli))
    (impl (path backtrace/goblint_backtrace.ml))))))
(library
 (name goblint.build-info)
 (kind normal)
 (virtual)
 (requires batteries.unthreaded)
 (main_module_name Goblint_build_info)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_build_info__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_build_info__)
      (impl (path build-info/goblint_build_info__.ml-gen))))
    (name Goblint_build_info)
    (modules
     (module
      (obj_name goblint_build_info__ConfigDatetime)
      (visibility public)
      (source
       (path ConfigDatetime)
       (impl (path build-info/configDatetime.ml))))
     (module
      (obj_name goblint_build_info__ConfigOcaml)
      (visibility public)
      (source (path ConfigOcaml) (impl (path build-info/configOcaml.ml))))
     (module
      (obj_name goblint_build_info__ConfigProfile)
      (visibility public)
      (source (path ConfigProfile) (impl (path build-info/configProfile.ml))))
     (module
      (obj_name goblint_build_info__ConfigVersion)
      (visibility public)
      (source (path ConfigVersion) (impl (path build-info/configVersion.ml))))
     (module
      (obj_name goblint_build_info__Dune_build_info)
      (visibility public)
      (kind virtual)
      (source
       (path Dune_build_info)
       (intf (path build-info/dune_build_info.mli))))
     (module
      (obj_name goblint_build_info)
      (visibility public)
      (source
       (path Goblint_build_info)
       (impl (path build-info/goblint_build_info.ml))))))
   (wrapped true))))
(library
 (name goblint.build-info.dune)
 (kind normal)
 (archives
  (byte build-info/dune/goblint_build_info_dune.cma)
  (native build-info/dune/goblint_build_info_dune.cmxa))
 (plugins
  (byte build-info/dune/goblint_build_info_dune.cma)
  (native build-info/dune/goblint_build_info_dune.cmxs))
 (native_archives build-info/dune/goblint_build_info_dune.a)
 (requires goblint.build-info dune-build-info)
 (implements goblint.build-info)
 (main_module_name Goblint_build_info)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_build_info__goblint_build_info_dune__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_build_info__goblint_build_info_dune__)
      (impl
       (path
        build-info/dune/goblint_build_info__goblint_build_info_dune__.ml-gen))))
    (name Goblint_build_info)
    (modules
     (module
      (obj_name goblint_build_info__Dune_build_info)
      (visibility public)
      (kind impl_vmodule)
      (source
       (path Dune_build_info)
       (impl (path build-info/dune/dune_build_info.ml))))))
   (wrapped true))))
(library
 (name goblint.build-info.js)
 (kind normal)
 (archives
  (byte build-info/js/goblint_build_info_js.cma)
  (native build-info/js/goblint_build_info_js.cmxa))
 (plugins
  (byte build-info/js/goblint_build_info_js.cma)
  (native build-info/js/goblint_build_info_js.cmxs))
 (native_archives build-info/js/goblint_build_info_js.a)
 (requires goblint.build-info)
 (implements goblint.build-info)
 (main_module_name Goblint_build_info)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_build_info__goblint_build_info_js__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_build_info__goblint_build_info_js__)
      (impl
       (path build-info/js/goblint_build_info__goblint_build_info_js__.ml-gen))))
    (name Goblint_build_info)
    (modules
     (module
      (obj_name goblint_build_info__Dune_build_info)
      (visibility public)
      (kind impl_vmodule)
      (source
       (path Dune_build_info)
       (impl (path build-info/js/dune_build_info.ml))))))
   (wrapped true))))
(library
 (name goblint.cdomain.value)
 (kind normal)
 (archives
  (byte cdomain/value/goblint_cdomain_value.cma)
  (native cdomain/value/goblint_cdomain_value.cmxa))
 (plugins
  (byte cdomain/value/goblint_cdomain_value.cma)
  (native cdomain/value/goblint_cdomain_value.cmxs))
 (native_archives cdomain/value/goblint_cdomain_value.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint.logs
  goblint.common
  goblint.config
  goblint.library
  goblint.domain
  goblint.incremental
  goblint-cil
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name addressDomain)
    (visibility public)
    (source
     (path AddressDomain)
     (intf (path cdomain/value/cdomains/addressDomain.mli))
     (impl (path cdomain/value/cdomains/addressDomain.ml))))
   (module
    (obj_name addressDomain_intf)
    (visibility public)
    (source
     (path AddressDomain_intf)
     (impl (path cdomain/value/cdomains/addressDomain_intf.ml))))
   (module
    (obj_name arrayDomain)
    (visibility public)
    (source
     (path ArrayDomain)
     (intf (path cdomain/value/cdomains/arrayDomain.mli))
     (impl (path cdomain/value/cdomains/arrayDomain.ml))))
   (module
    (obj_name concDomain)
    (visibility public)
    (source
     (path ConcDomain)
     (impl (path cdomain/value/cdomains/concDomain.ml))))
   (module
    (obj_name floatDomain)
    (visibility public)
    (source
     (path FloatDomain)
     (intf (path cdomain/value/cdomains/floatDomain.mli))
     (impl (path cdomain/value/cdomains/floatDomain.ml))))
   (module
    (obj_name intDomain)
    (visibility public)
    (source
     (path IntDomain)
     (intf (path cdomain/value/cdomains/intDomain.mli))
     (impl (path cdomain/value/cdomains/intDomain.ml))))
   (module
    (obj_name invariant)
    (visibility public)
    (source (path Invariant) (impl (path cdomain/value/domains/invariant.ml))))
   (module
    (obj_name invariantCil)
    (visibility public)
    (source
     (path InvariantCil)
     (impl (path cdomain/value/domains/invariantCil.ml))))
   (module
    (obj_name jmpBufDomain)
    (visibility public)
    (source
     (path JmpBufDomain)
     (impl (path cdomain/value/cdomains/jmpBufDomain.ml))))
   (module
    (obj_name lval)
    (visibility public)
    (source (path Lval) (impl (path cdomain/value/cdomains/lval.ml))))
   (module
    (obj_name mutexAttrDomain)
    (visibility public)
    (source
     (path MutexAttrDomain)
     (impl (path cdomain/value/cdomains/mutexAttrDomain.ml))))
   (module
    (obj_name mval)
    (visibility public)
    (source
     (path Mval)
     (intf (path cdomain/value/cdomains/mval.mli))
     (impl (path cdomain/value/cdomains/mval.ml))))
   (module
    (obj_name mval_intf)
    (visibility public)
    (source
     (path Mval_intf)
     (impl (path cdomain/value/cdomains/mval_intf.ml))))
   (module
    (obj_name nullByteSet)
    (visibility public)
    (source
     (path NullByteSet)
     (impl (path cdomain/value/cdomains/nullByteSet.ml))))
   (module
    (obj_name offset)
    (visibility public)
    (source
     (path Offset)
     (intf (path cdomain/value/cdomains/offset.mli))
     (impl (path cdomain/value/cdomains/offset.ml))))
   (module
    (obj_name offset_intf)
    (visibility public)
    (source
     (path Offset_intf)
     (impl (path cdomain/value/cdomains/offset_intf.ml))))
   (module
    (obj_name preValueDomain)
    (visibility public)
    (source
     (path PreValueDomain)
     (impl (path cdomain/value/cdomains/preValueDomain.ml))))
   (module
    (obj_name precisionUtil)
    (visibility public)
    (source
     (path PrecisionUtil)
     (impl (path cdomain/value/util/precisionUtil.ml))))
   (module
    (obj_name stringDomain)
    (visibility public)
    (source
     (path StringDomain)
     (intf (path cdomain/value/cdomains/stringDomain.mli))
     (impl (path cdomain/value/cdomains/stringDomain.ml))))
   (module
    (obj_name structDomain)
    (visibility public)
    (source
     (path StructDomain)
     (intf (path cdomain/value/cdomains/structDomain.mli))
     (impl (path cdomain/value/cdomains/structDomain.ml))))
   (module
    (obj_name threadIdDomain)
    (visibility public)
    (source
     (path ThreadIdDomain)
     (impl (path cdomain/value/cdomains/threadIdDomain.ml))))
   (module
    (obj_name unionDomain)
    (visibility public)
    (source
     (path UnionDomain)
     (impl (path cdomain/value/cdomains/unionDomain.ml))))
   (module
    (obj_name valueDomain)
    (visibility public)
    (source
     (path ValueDomain)
     (impl (path cdomain/value/cdomains/valueDomain.ml))))
   (module
    (obj_name valueDomainQueries)
    (visibility public)
    (source
     (path ValueDomainQueries)
     (impl (path cdomain/value/domains/valueDomainQueries.ml))))
   (module
    (obj_name wideningThresholds)
    (visibility public)
    (source
     (path WideningThresholds)
     (intf (path cdomain/value/util/wideningThresholds.mli))
     (impl (path cdomain/value/util/wideningThresholds.ml))))
   (module
    (obj_name wrapperFunctionAnalysis0)
    (visibility public)
    (source
     (path WrapperFunctionAnalysis0)
     (impl (path cdomain/value/analyses/wrapperFunctionAnalysis0.ml)))))))
(library
 (name goblint.common)
 (kind normal)
 (archives
  (byte common/goblint_common.cma)
  (native common/goblint_common.cmxa))
 (plugins
  (byte common/goblint_common.cma)
  (native common/goblint_common.cmxs))
 (foreign_objects common/stubs.o)
 (foreign_archives
  (archives (for all) (files common/libgoblint_common_stubs.a)))
 (foreign_dll_files ../stublibs/dllgoblint_common_stubs.so)
 (native_archives common/goblint_common.a)
 (requires
  batteries.unthreaded
  zarith
  goblint.std
  goblint.logs
  goblint.config
  goblint.tracing
  goblint-cil
  fpath
  yojson
  goblint.timing
  qcheck-core.runner
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name analysisState)
    (visibility public)
    (source
     (path AnalysisState)
     (impl (path common/framework/analysisState.ml))))
   (module
    (obj_name analysisStateUtil)
    (visibility public)
    (source
     (path AnalysisStateUtil)
     (impl (path common/util/analysisStateUtil.ml))))
   (module
    (obj_name basetype)
    (visibility public)
    (source (path Basetype) (impl (path common/cdomains/basetype.ml))))
   (module
    (obj_name cfgTools)
    (visibility public)
    (source (path CfgTools) (impl (path common/framework/cfgTools.ml))))
   (module
    (obj_name cilCfg0)
    (visibility public)
    (source (path CilCfg0) (impl (path common/util/cilCfg0.ml))))
   (module
    (obj_name cilLocation)
    (visibility public)
    (source (path CilLocation) (impl (path common/util/cilLocation.ml))))
   (module
    (obj_name cilType)
    (visibility public)
    (source (path CilType) (impl (path common/util/cilType.ml))))
   (module
    (obj_name cilfacade)
    (visibility public)
    (source (path Cilfacade) (impl (path common/util/cilfacade.ml))))
   (module
    (obj_name cilfacade0)
    (visibility public)
    (source (path Cilfacade0) (impl (path common/util/cilfacade0.ml))))
   (module
    (obj_name contextUtil)
    (visibility public)
    (source (path ContextUtil) (impl (path common/util/contextUtil.ml))))
   (module
    (obj_name controlSpecC)
    (visibility public)
    (source
     (path ControlSpecC)
     (intf (path common/framework/controlSpecC.mli))
     (impl (path common/framework/controlSpecC.ml))))
   (module
    (obj_name edge)
    (visibility public)
    (source (path Edge) (impl (path common/framework/edge.ml))))
   (module
    (obj_name floatOps)
    (visibility public)
    (source
     (path FloatOps)
     (intf (path common/cdomains/floatOps/floatOps.mli))
     (impl (path common/cdomains/floatOps/floatOps.ml))))
   (module
    (obj_name gobFormat)
    (visibility public)
    (source (path GobFormat) (impl (path common/util/gobFormat.ml))))
   (module
    (obj_name intOps)
    (visibility public)
    (source (path IntOps) (impl (path common/util/intOps.ml))))
   (module
    (obj_name lazyEval)
    (visibility public)
    (source (path LazyEval) (impl (path common/util/lazyEval.ml))))
   (module
    (obj_name loopUnrolling0)
    (visibility public)
    (source (path LoopUnrolling0) (impl (path common/util/loopUnrolling0.ml))))
   (module
    (obj_name messageCategory)
    (visibility public)
    (source
     (path MessageCategory)
     (impl (path common/util/messageCategory.ml))))
   (module
    (obj_name messageUtil)
    (visibility public)
    (source (path MessageUtil) (impl (path common/util/messageUtil.ml))))
   (module
    (obj_name messages)
    (visibility public)
    (source (path Messages) (impl (path common/util/messages.ml))))
   (module
    (obj_name myCFG)
    (visibility public)
    (source (path MyCFG) (impl (path common/framework/myCFG.ml))))
   (module
    (obj_name node)
    (visibility public)
    (source (path Node) (impl (path common/framework/node.ml))))
   (module
    (obj_name node0)
    (visibility public)
    (source (path Node0) (impl (path common/framework/node0.ml))))
   (module
    (obj_name printable)
    (visibility public)
    (source (path Printable) (impl (path common/domains/printable.ml))))
   (module
    (obj_name resettableLazy)
    (visibility public)
    (source
     (path ResettableLazy)
     (intf (path common/util/resettableLazy.mli))
     (impl (path common/util/resettableLazy.ml))))
   (module
    (obj_name richVarinfo)
    (visibility public)
    (source
     (path RichVarinfo)
     (intf (path common/util/richVarinfo.mli))
     (impl (path common/util/richVarinfo.ml))))
   (module
    (obj_name timing)
    (visibility public)
    (source (path Timing) (impl (path common/util/timing.ml))))
   (module
    (obj_name updateCil0)
    (visibility public)
    (source (path UpdateCil0) (impl (path common/incremental/updateCil0.ml))))
   (module
    (obj_name xmlUtil)
    (visibility public)
    (source (path XmlUtil) (impl (path common/util/xmlUtil.ml)))))))
(library
 (name goblint.config)
 (kind normal)
 (archives
  (byte config/goblint_config.cma)
  (native config/goblint_config.cmxa))
 (plugins
  (byte config/goblint_config.cma)
  (native config/goblint_config.cmxs))
 (native_archives config/goblint_config.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint.logs
  goblint.tracing
  fpath
  yojson
  json-data-encoding
  cpu
  goblint.sites
  qcheck-core.runner)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name afterConfig)
    (visibility public)
    (source (path AfterConfig) (impl (path config/afterConfig.ml))))
   (module
    (obj_name gobConfig)
    (visibility public)
    (source (path GobConfig) (impl (path config/gobConfig.ml))))
   (module
    (obj_name jsonSchema)
    (visibility public)
    (source (path JsonSchema) (impl (path config/jsonSchema.ml))))
   (module
    (obj_name options)
    (visibility public)
    (source (path Options) (impl (path config/options.ml)))))))
(library
 (name goblint.constraint)
 (kind normal)
 (archives
  (byte constraint/goblint_constraint.cma)
  (native constraint/goblint_constraint.cmxa))
 (plugins
  (byte constraint/goblint_constraint.cma)
  (native constraint/goblint_constraint.cmxs))
 (native_archives constraint/goblint_constraint.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint.common
  goblint.domain
  goblint-cil
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name constrSys)
    (visibility public)
    (source (path ConstrSys) (impl (path constraint/constrSys.ml))))
   (module
    (obj_name varQuery)
    (visibility public)
    (source
     (path VarQuery)
     (intf (path constraint/varQuery.mli))
     (impl (path constraint/varQuery.ml)))))))
(library
 (name goblint.domain)
 (kind normal)
 (archives
  (byte domain/goblint_domain.cma)
  (native domain/goblint_domain.cmxa))
 (plugins
  (byte domain/goblint_domain.cma)
  (native domain/goblint_domain.cmxs))
 (native_archives domain/goblint_domain.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint.common
  goblint-cil
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name boolDomain)
    (visibility public)
    (source (path BoolDomain) (impl (path domain/boolDomain.ml))))
   (module
    (obj_name disjointDomain)
    (visibility public)
    (source (path DisjointDomain) (impl (path domain/disjointDomain.ml))))
   (module
    (obj_name flagHelper)
    (visibility public)
    (source (path FlagHelper) (impl (path domain/flagHelper.ml))))
   (module
    (obj_name hoareDomain)
    (visibility public)
    (source (path HoareDomain) (impl (path domain/hoareDomain.ml))))
   (module
    (obj_name lattice)
    (visibility public)
    (source (path Lattice) (impl (path domain/lattice.ml))))
   (module
    (obj_name mapDomain)
    (visibility public)
    (source (path MapDomain) (impl (path domain/mapDomain.ml))))
   (module
    (obj_name partitionDomain)
    (visibility public)
    (source (path PartitionDomain) (impl (path domain/partitionDomain.ml))))
   (module
    (obj_name setDomain)
    (visibility public)
    (source (path SetDomain) (impl (path domain/setDomain.ml))))
   (module
    (obj_name trieDomain)
    (visibility public)
    (source (path TrieDomain) (impl (path domain/trieDomain.ml)))))))
(library
 (name goblint.incremental)
 (kind normal)
 (archives
  (byte incremental/goblint_incremental.cma)
  (native incremental/goblint_incremental.cmxa))
 (plugins
  (byte incremental/goblint_incremental.cma)
  (native incremental/goblint_incremental.cmxs))
 (native_archives incremental/goblint_incremental.a)
 (requires
  batteries.unthreaded
  zarith
  goblint.std
  goblint.logs
  goblint.config
  goblint.common
  goblint-cil
  fpath
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name cilMaps)
    (visibility public)
    (source (path CilMaps) (impl (path incremental/cilMaps.ml))))
   (module
    (obj_name compareAST)
    (visibility public)
    (source (path CompareAST) (impl (path incremental/compareAST.ml))))
   (module
    (obj_name compareCFG)
    (visibility public)
    (source (path CompareCFG) (impl (path incremental/compareCFG.ml))))
   (module
    (obj_name compareCIL)
    (visibility public)
    (source (path CompareCIL) (impl (path incremental/compareCIL.ml))))
   (module
    (obj_name makefileUtil)
    (visibility public)
    (source (path MakefileUtil) (impl (path incremental/makefileUtil.ml))))
   (module
    (obj_name maxIdUtil)
    (visibility public)
    (source (path MaxIdUtil) (impl (path incremental/maxIdUtil.ml))))
   (module
    (obj_name serialize)
    (visibility public)
    (source (path Serialize) (impl (path incremental/serialize.ml))))
   (module
    (obj_name updateCil)
    (visibility public)
    (source (path UpdateCil) (impl (path incremental/updateCil.ml)))))))
(library
 (name goblint.lib)
 (kind normal)
 (archives (byte lib/goblint_lib.cma) (native lib/goblint_lib.cmxa))
 (plugins (byte lib/goblint_lib.cma) (native lib/goblint_lib.cmxs))
 (native_archives lib/goblint_lib.a)
 (requires
  goblint.sites
  goblint.build-info
  goblint-cil
  goblint-cil.pta
  goblint-cil.syntacticsearch
  batteries.unthreaded
  qcheck-core.runner
  sha
  json-data-encoding
  jsonrpc
  cpu
  arg-complete
  fpath
  yaml
  yaml.unix
  uuidm
  goblint.timing
  catapult
  goblint.backtrace
  fileutils
  goblint.std
  goblint.config
  goblint.common
  goblint.domain
  goblint.constraint
  goblint.solver
  goblint.library
  goblint.cdomain.value
  goblint.incremental
  goblint.tracing
  goblint.logs
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Goblint_lib)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_lib__)
     (visibility public)
     (kind alias)
     (source (path Goblint_lib__) (impl (path lib/goblint_lib__.ml-gen))))
    (name Goblint_lib)
    (modules
     (module
      (obj_name goblint_lib__AbortUnless)
      (visibility public)
      (source (path AbortUnless) (impl (path lib/analyses/abortUnless.ml))))
     (module
      (obj_name goblint_lib__AbstractionDomainProperties)
      (visibility public)
      (source
       (path AbstractionDomainProperties)
       (impl (path lib/domains/abstractionDomainProperties.ml))))
     (module
      (obj_name goblint_lib__Access)
      (visibility public)
      (source (path Access) (impl (path lib/domains/access.ml))))
     (module
      (obj_name goblint_lib__AccessAnalysis)
      (visibility public)
      (source
       (path AccessAnalysis)
       (impl (path lib/analyses/accessAnalysis.ml))))
     (module
      (obj_name goblint_lib__AccessDomain)
      (visibility public)
      (source (path AccessDomain) (impl (path lib/domains/accessDomain.ml))))
     (module
      (obj_name goblint_lib__ActiveLongjmp)
      (visibility public)
      (source
       (path ActiveLongjmp)
       (impl (path lib/analyses/activeLongjmp.ml))))
     (module
      (obj_name goblint_lib__ActiveSetjmp)
      (visibility public)
      (source (path ActiveSetjmp) (impl (path lib/analyses/activeSetjmp.ml))))
     (module
      (obj_name goblint_lib__AffineEqualityAnalysis)
      (visibility public)
      (source
       (path AffineEqualityAnalysis)
       (impl (path lib/affineEqualityAnalysis.ml))))
     (module
      (obj_name goblint_lib__AffineEqualityDomain)
      (visibility public)
      (source
       (path AffineEqualityDomain)
       (impl (path lib/affineEqualityDomain.ml))))
     (module
      (obj_name goblint_lib__Analyses)
      (visibility public)
      (source (path Analyses) (impl (path lib/framework/analyses.ml))))
     (module
      (obj_name goblint_lib__AnalysisResult)
      (visibility public)
      (source
       (path AnalysisResult)
       (impl (path lib/framework/analysisResult.ml))))
     (module
      (obj_name goblint_lib__ApronAnalysis)
      (visibility public)
      (source (path ApronAnalysis) (impl (path lib/apronAnalysis.ml))))
     (module
      (obj_name goblint_lib__ApronDomain)
      (visibility public)
      (source (path ApronDomain) (impl (path lib/apronDomain.ml))))
     (module
      (obj_name goblint_lib__ApronPrecCompareUtil)
      (visibility public)
      (source
       (path ApronPrecCompareUtil)
       (impl (path lib/apronPrecCompareUtil.ml))))
     (module
      (obj_name goblint_lib__ArgTools)
      (visibility public)
      (source (path ArgTools) (impl (path lib/witness/argTools.ml))))
     (module
      (obj_name goblint_lib__Assert)
      (visibility public)
      (source (path Assert) (impl (path lib/analyses/assert.ml))))
     (module
      (obj_name goblint_lib__AutoSoundConfig)
      (visibility public)
      (source
       (path AutoSoundConfig)
       (impl (path lib/util/autoSoundConfig.ml))))
     (module
      (obj_name goblint_lib__AutoTune)
      (visibility public)
      (source (path AutoTune) (impl (path lib/autoTune.ml))))
     (module
      (obj_name goblint_lib__AutoTune0)
      (visibility public)
      (source (path AutoTune0) (impl (path lib/autoTune0.ml))))
     (module
      (obj_name goblint_lib__Base)
      (visibility public)
      (source (path Base) (impl (path lib/analyses/base.ml))))
     (module
      (obj_name goblint_lib__BaseDomain)
      (visibility public)
      (source (path BaseDomain) (impl (path lib/cdomains/baseDomain.ml))))
     (module
      (obj_name goblint_lib__BaseInvariant)
      (visibility public)
      (source
       (path BaseInvariant)
       (impl (path lib/analyses/baseInvariant.ml))))
     (module
      (obj_name goblint_lib__BasePriv)
      (visibility public)
      (source
       (path BasePriv)
       (intf (path lib/analyses/basePriv.mli))
       (impl (path lib/analyses/basePriv.ml))))
     (module
      (obj_name goblint_lib__BaseUtil)
      (visibility public)
      (source
       (path BaseUtil)
       (intf (path lib/analyses/baseUtil.mli))
       (impl (path lib/analyses/baseUtil.ml))))
     (module
      (obj_name goblint_lib__Callstring)
      (visibility public)
      (source (path Callstring) (impl (path lib/analyses/callstring.ml))))
     (module
      (obj_name goblint_lib__CilCfg)
      (visibility public)
      (source (path CilCfg) (impl (path lib/util/cilCfg.ml))))
     (module
      (obj_name goblint_lib__CommonPriv)
      (visibility public)
      (source (path CommonPriv) (impl (path lib/analyses/commonPriv.ml))))
     (module
      (obj_name goblint_lib__CompilationDatabase)
      (visibility public)
      (source
       (path CompilationDatabase)
       (impl (path lib/util/compilationDatabase.ml))))
     (module
      (obj_name goblint_lib__CondVars)
      (visibility public)
      (source (path CondVars) (impl (path lib/analyses/condVars.ml))))
     (module
      (obj_name goblint_lib__Constants)
      (visibility public)
      (source
       (path Constants)
       (impl (path lib/analyses/tutorials/constants.ml))))
     (module
      (obj_name goblint_lib__Constraints)
      (visibility public)
      (source (path Constraints) (impl (path lib/framework/constraints.ml))))
     (module
      (obj_name goblint_lib__Control)
      (visibility public)
      (source (path Control) (impl (path lib/framework/control.ml))))
     (module
      (obj_name goblint_lib__DeadCode)
      (visibility public)
      (source (path DeadCode) (impl (path lib/transform/deadCode.ml))))
     (module
      (obj_name goblint_lib__Deadlock)
      (visibility public)
      (source (path Deadlock) (impl (path lib/analyses/deadlock.ml))))
     (module
      (obj_name goblint_lib__DeadlockDomain)
      (visibility public)
      (source
       (path DeadlockDomain)
       (impl (path lib/cdomains/deadlockDomain.ml))))
     (module
      (obj_name goblint_lib__DomainProperties)
      (visibility public)
      (source
       (path DomainProperties)
       (impl (path lib/domains/domainProperties.ml))))
     (module
      (obj_name goblint_lib__EscapeDomain)
      (visibility public)
      (source (path EscapeDomain) (impl (path lib/cdomains/escapeDomain.ml))))
     (module
      (obj_name goblint_lib__EvalAssert)
      (visibility public)
      (source (path EvalAssert) (impl (path lib/transform/evalAssert.ml))))
     (module
      (obj_name goblint_lib__Events)
      (visibility public)
      (source (path Events) (impl (path lib/domains/events.ml))))
     (module
      (obj_name goblint_lib__ExpRelation)
      (visibility public)
      (source (path ExpRelation) (impl (path lib/analyses/expRelation.ml))))
     (module
      (obj_name goblint_lib__ExpressionEvaluation)
      (visibility public)
      (source
       (path ExpressionEvaluation)
       (impl (path lib/transform/expressionEvaluation.ml))))
     (module
      (obj_name goblint_lib__Expsplit)
      (visibility public)
      (source (path Expsplit) (impl (path lib/analyses/expsplit.ml))))
     (module
      (obj_name goblint_lib__ExtractPthread)
      (visibility public)
      (source
       (path ExtractPthread)
       (impl (path lib/analyses/extractPthread.ml))))
     (module
      (obj_name goblint_lib__GobApron)
      (visibility public)
      (source (path GobApron) (impl (path lib/gobApron.ml))))
     (module
      (obj_name goblint_lib__GobExn)
      (visibility public)
      (source (path GobExn) (impl (path lib/util/gobExn.ml))))
     (module
      (obj_name goblint_lib__GoblintDir)
      (visibility public)
      (source (path GoblintDir) (impl (path lib/util/goblintDir.ml))))
     (module
      (obj_name goblint_lib)
      (visibility public)
      (source (path Goblint_lib) (impl (path lib/goblint_lib.ml))))
     (module
      (obj_name goblint_lib__Graphml)
      (visibility public)
      (source (path Graphml) (impl (path lib/witness/graphml.ml))))
     (module
      (obj_name goblint_lib__IntDomainProperties)
      (visibility public)
      (source
       (path IntDomainProperties)
       (impl (path lib/domains/intDomainProperties.ml))))
     (module
      (obj_name goblint_lib__LinearTwoVarEqualityAnalysis)
      (visibility public)
      (source
       (path LinearTwoVarEqualityAnalysis)
       (impl (path lib/linearTwoVarEqualityAnalysis.ml))))
     (module
      (obj_name goblint_lib__LinearTwoVarEqualityDomain)
      (visibility public)
      (source
       (path LinearTwoVarEqualityDomain)
       (impl (path lib/linearTwoVarEqualityDomain.ml))))
     (module
      (obj_name goblint_lib__LockDomain)
      (visibility public)
      (source (path LockDomain) (impl (path lib/cdomains/lockDomain.ml))))
     (module
      (obj_name goblint_lib__LocksetAnalysis)
      (visibility public)
      (source
       (path LocksetAnalysis)
       (impl (path lib/analyses/locksetAnalysis.ml))))
     (module
      (obj_name goblint_lib__LoopTermination)
      (visibility public)
      (source
       (path LoopTermination)
       (impl (path lib/analyses/loopTermination.ml))))
     (module
      (obj_name goblint_lib__LoopUnrolling)
      (visibility public)
      (source
       (path LoopUnrolling)
       (intf (path lib/util/loopUnrolling.mli))
       (impl (path lib/util/loopUnrolling.ml))))
     (module
      (obj_name goblint_lib__LoopfreeCallstring)
      (visibility public)
      (source
       (path LoopfreeCallstring)
       (impl (path lib/analyses/loopfreeCallstring.ml))))
     (module
      (obj_name goblint_lib__MCP)
      (visibility public)
      (source (path MCP) (impl (path lib/analyses/mCP.ml))))
     (module
      (obj_name goblint_lib__MCPAccess)
      (visibility public)
      (source (path MCPAccess) (impl (path lib/analyses/mCPAccess.ml))))
     (module
      (obj_name goblint_lib__MCPRegistry)
      (visibility public)
      (source (path MCPRegistry) (impl (path lib/analyses/mCPRegistry.ml))))
     (module
      (obj_name goblint_lib__MHP)
      (visibility public)
      (source (path MHP) (impl (path lib/cdomains/mHP.ml))))
     (module
      (obj_name goblint_lib__MHPAnalysis)
      (visibility public)
      (source (path MHPAnalysis) (impl (path lib/analyses/mHPAnalysis.ml))))
     (module
      (obj_name goblint_lib__Maingoblint)
      (visibility public)
      (source (path Maingoblint) (impl (path lib/maingoblint.ml))))
     (module
      (obj_name goblint_lib__MallocFresh)
      (visibility public)
      (source (path MallocFresh) (impl (path lib/analyses/mallocFresh.ml))))
     (module
      (obj_name goblint_lib__Malloc_null)
      (visibility public)
      (source (path Malloc_null) (impl (path lib/analyses/malloc_null.ml))))
     (module
      (obj_name goblint_lib__MayLocks)
      (visibility public)
      (source (path MayLocks) (impl (path lib/analyses/mayLocks.ml))))
     (module
      (obj_name goblint_lib__MemLeak)
      (visibility public)
      (source (path MemLeak) (impl (path lib/analyses/memLeak.ml))))
     (module
      (obj_name goblint_lib__MemOutOfBounds)
      (visibility public)
      (source
       (path MemOutOfBounds)
       (impl (path lib/analyses/memOutOfBounds.ml))))
     (module
      (obj_name goblint_lib__ModifiedSinceSetjmp)
      (visibility public)
      (source
       (path ModifiedSinceSetjmp)
       (impl (path lib/analyses/modifiedSinceSetjmp.ml))))
     (module
      (obj_name goblint_lib__MusteqDomain)
      (visibility public)
      (source (path MusteqDomain) (impl (path lib/cdomains/musteqDomain.ml))))
     (module
      (obj_name goblint_lib__MutexAnalysis)
      (visibility public)
      (source
       (path MutexAnalysis)
       (impl (path lib/analyses/mutexAnalysis.ml))))
     (module
      (obj_name goblint_lib__MutexEventsAnalysis)
      (visibility public)
      (source
       (path MutexEventsAnalysis)
       (impl (path lib/analyses/mutexEventsAnalysis.ml))))
     (module
      (obj_name goblint_lib__MutexTypeAnalysis)
      (visibility public)
      (source
       (path MutexTypeAnalysis)
       (impl (path lib/analyses/mutexTypeAnalysis.ml))))
     (module
      (obj_name goblint_lib__MyARG)
      (visibility public)
      (source (path MyARG) (impl (path lib/witness/myARG.ml))))
     (module
      (obj_name goblint_lib__ObserverAnalysis)
      (visibility public)
      (source
       (path ObserverAnalysis)
       (impl (path lib/witness/observerAnalysis.ml))))
     (module
      (obj_name goblint_lib__ObserverAutomaton)
      (visibility public)
      (source
       (path ObserverAutomaton)
       (impl (path lib/witness/observerAutomaton.ml))))
     (module
      (obj_name goblint_lib__PoisonVariables)
      (visibility public)
      (source
       (path PoisonVariables)
       (impl (path lib/analyses/poisonVariables.ml))))
     (module
      (obj_name goblint_lib__PrecCompare)
      (visibility public)
      (source (path PrecCompare) (impl (path lib/util/precCompare.ml))))
     (module
      (obj_name goblint_lib__PrecCompareUtil)
      (visibility public)
      (source
       (path PrecCompareUtil)
       (impl (path lib/util/precCompareUtil.ml))))
     (module
      (obj_name goblint_lib__Preprocessor)
      (visibility public)
      (source (path Preprocessor) (impl (path lib/util/preprocessor.ml))))
     (module
      (obj_name goblint_lib__PrivPrecCompareUtil)
      (visibility public)
      (source
       (path PrivPrecCompareUtil)
       (impl (path lib/util/privPrecCompareUtil.ml))))
     (module
      (obj_name goblint_lib__ProcessPool)
      (visibility public)
      (source (path ProcessPool) (impl (path lib/util/processPool.ml))))
     (module
      (obj_name goblint_lib__PthreadDomain)
      (visibility public)
      (source
       (path PthreadDomain)
       (impl (path lib/cdomains/pthreadDomain.ml))))
     (module
      (obj_name goblint_lib__PthreadSignals)
      (visibility public)
      (source
       (path PthreadSignals)
       (impl (path lib/analyses/pthreadSignals.ml))))
     (module
      (obj_name goblint_lib__PtranalAnalysis)
      (visibility public)
      (source
       (path PtranalAnalysis)
       (impl (path lib/analyses/ptranalAnalysis.ml))))
     (module
      (obj_name goblint_lib__Queries)
      (visibility public)
      (source (path Queries) (impl (path lib/domains/queries.ml))))
     (module
      (obj_name goblint_lib__RaceAnalysis)
      (visibility public)
      (source (path RaceAnalysis) (impl (path lib/analyses/raceAnalysis.ml))))
     (module
      (obj_name goblint_lib__Refinement)
      (visibility public)
      (source (path Refinement) (impl (path lib/framework/refinement.ml))))
     (module
      (obj_name goblint_lib__Region)
      (visibility public)
      (source (path Region) (impl (path lib/analyses/region.ml))))
     (module
      (obj_name goblint_lib__RegionDomain)
      (visibility public)
      (source (path RegionDomain) (impl (path lib/cdomains/regionDomain.ml))))
     (module
      (obj_name goblint_lib__RelationAnalysis)
      (visibility public)
      (source (path RelationAnalysis) (impl (path lib/relationAnalysis.ml))))
     (module
      (obj_name goblint_lib__RelationDomain)
      (visibility public)
      (source (path RelationDomain) (impl (path lib/relationDomain.ml))))
     (module
      (obj_name goblint_lib__RelationPrecCompareUtil)
      (visibility public)
      (source
       (path RelationPrecCompareUtil)
       (impl (path lib/relationPrecCompareUtil.ml))))
     (module
      (obj_name goblint_lib__RelationPriv)
      (visibility public)
      (source (path RelationPriv) (impl (path lib/relationPriv.ml))))
     (module
      (obj_name goblint_lib__ResultQuery)
      (visibility public)
      (source (path ResultQuery) (impl (path lib/framework/resultQuery.ml))))
     (module
      (obj_name goblint_lib__ReturnUtil)
      (visibility public)
      (source (path ReturnUtil) (impl (path lib/util/returnUtil.ml))))
     (module
      (obj_name goblint_lib__Sarif)
      (visibility public)
      (source (path Sarif) (impl (path lib/util/sarif.ml))))
     (module
      (obj_name goblint_lib__SarifRules)
      (visibility public)
      (source (path SarifRules) (impl (path lib/util/sarifRules.ml))))
     (module
      (obj_name goblint_lib__SarifType)
      (visibility public)
      (source (path SarifType) (impl (path lib/util/sarifType.ml))))
     (module
      (obj_name goblint_lib__Server)
      (visibility public)
      (source (path Server) (impl (path lib/util/server.ml))))
     (module
      (obj_name goblint_lib__SharedFunctions)
      (visibility public)
      (source (path SharedFunctions) (impl (path lib/sharedFunctions.ml))))
     (module
      (obj_name goblint_lib__Signs)
      (visibility public)
      (source (path Signs) (impl (path lib/analyses/tutorials/signs.ml))))
     (module
      (obj_name goblint_lib__StackDomain)
      (visibility public)
      (source (path StackDomain) (impl (path lib/cdomains/stackDomain.ml))))
     (module
      (obj_name goblint_lib__StackTrace)
      (visibility public)
      (source (path StackTrace) (impl (path lib/analyses/stackTrace.ml))))
     (module
      (obj_name goblint_lib__Svcomp)
      (visibility public)
      (source (path Svcomp) (impl (path lib/witness/svcomp.ml))))
     (module
      (obj_name goblint_lib__SvcompSpec)
      (visibility public)
      (source (path SvcompSpec) (impl (path lib/witness/svcompSpec.ml))))
     (module
      (obj_name goblint_lib__SymbLocks)
      (visibility public)
      (source (path SymbLocks) (impl (path lib/analyses/symbLocks.ml))))
     (module
      (obj_name goblint_lib__SymbLocksDomain)
      (visibility public)
      (source
       (path SymbLocksDomain)
       (impl (path lib/cdomains/symbLocksDomain.ml))))
     (module
      (obj_name goblint_lib__Taint)
      (visibility public)
      (source (path Taint) (impl (path lib/analyses/tutorials/taint.ml))))
     (module
      (obj_name goblint_lib__TaintPartialContexts)
      (visibility public)
      (source
       (path TaintPartialContexts)
       (impl (path lib/analyses/taintPartialContexts.ml))))
     (module
      (obj_name goblint_lib__TerminationPreprocessing)
      (visibility public)
      (source
       (path TerminationPreprocessing)
       (impl (path lib/util/terminationPreprocessing.ml))))
     (module
      (obj_name goblint_lib__ThreadAnalysis)
      (visibility public)
      (source
       (path ThreadAnalysis)
       (impl (path lib/analyses/threadAnalysis.ml))))
     (module
      (obj_name goblint_lib__ThreadEscape)
      (visibility public)
      (source (path ThreadEscape) (impl (path lib/analyses/threadEscape.ml))))
     (module
      (obj_name goblint_lib__ThreadFlag)
      (visibility public)
      (source (path ThreadFlag) (impl (path lib/analyses/threadFlag.ml))))
     (module
      (obj_name goblint_lib__ThreadFlagDomain)
      (visibility public)
      (source
       (path ThreadFlagDomain)
       (impl (path lib/cdomains/threadFlagDomain.ml))))
     (module
      (obj_name goblint_lib__ThreadId)
      (visibility public)
      (source (path ThreadId) (impl (path lib/analyses/threadId.ml))))
     (module
      (obj_name goblint_lib__ThreadJoins)
      (visibility public)
      (source (path ThreadJoins) (impl (path lib/analyses/threadJoins.ml))))
     (module
      (obj_name goblint_lib__ThreadReturn)
      (visibility public)
      (source (path ThreadReturn) (impl (path lib/analyses/threadReturn.ml))))
     (module
      (obj_name goblint_lib__TimeUtil)
      (visibility public)
      (source (path TimeUtil) (impl (path lib/witness/timeUtil.ml))))
     (module
      (obj_name goblint_lib__Timeout)
      (visibility public)
      (source (path Timeout) (impl (path lib/util/timeout.ml))))
     (module
      (obj_name goblint_lib__TmpSpecial)
      (visibility public)
      (source (path TmpSpecial) (impl (path lib/analyses/tmpSpecial.ml))))
     (module
      (obj_name goblint_lib__Transform)
      (visibility public)
      (source (path Transform) (impl (path lib/transform/transform.ml))))
     (module
      (obj_name goblint_lib__UnassumeAnalysis)
      (visibility public)
      (source
       (path UnassumeAnalysis)
       (impl (path lib/analyses/unassumeAnalysis.ml))))
     (module
      (obj_name goblint_lib__Uninit)
      (visibility public)
      (source (path Uninit) (impl (path lib/analyses/uninit.ml))))
     (module
      (obj_name goblint_lib__UnitAnalysis)
      (visibility public)
      (source
       (path UnitAnalysis)
       (impl (path lib/analyses/tutorials/unitAnalysis.ml))))
     (module
      (obj_name goblint_lib__UseAfterFree)
      (visibility public)
      (source (path UseAfterFree) (impl (path lib/analyses/useAfterFree.ml))))
     (module
      (obj_name goblint_lib__VarEq)
      (visibility public)
      (source (path VarEq) (impl (path lib/analyses/varEq.ml))))
     (module
      (obj_name goblint_lib__VectorMatrix)
      (visibility public)
      (source (path VectorMatrix) (impl (path lib/cdomains/vectorMatrix.ml))))
     (module
      (obj_name goblint_lib__Violation)
      (visibility public)
      (source (path Violation) (impl (path lib/witness/violation.ml))))
     (module
      (obj_name goblint_lib__ViolationZ3)
      (visibility public)
      (source (path ViolationZ3) (impl (path lib/violationZ3.ml))))
     (module
      (obj_name goblint_lib__Vla)
      (visibility public)
      (source (path Vla) (impl (path lib/analyses/vla.ml))))
     (module
      (obj_name goblint_lib__WideningTokens)
      (visibility public)
      (source (path WideningTokens) (impl (path lib/util/wideningTokens.ml))))
     (module
      (obj_name goblint_lib__Witness)
      (visibility public)
      (source (path Witness) (impl (path lib/witness/witness.ml))))
     (module
      (obj_name goblint_lib__WitnessConstraints)
      (visibility public)
      (source
       (path WitnessConstraints)
       (impl (path lib/witness/witnessConstraints.ml))))
     (module
      (obj_name goblint_lib__WitnessUtil)
      (visibility public)
      (source (path WitnessUtil) (impl (path lib/witness/witnessUtil.ml))))
     (module
      (obj_name goblint_lib__WrapperFunctionAnalysis)
      (visibility public)
      (source
       (path WrapperFunctionAnalysis)
       (impl (path lib/analyses/wrapperFunctionAnalysis.ml))))
     (module
      (obj_name goblint_lib__YamlWitness)
      (visibility public)
      (source (path YamlWitness) (impl (path lib/witness/yamlWitness.ml))))
     (module
      (obj_name goblint_lib__YamlWitnessType)
      (visibility public)
      (source
       (path YamlWitnessType)
       (impl (path lib/witness/yamlWitnessType.ml))))))
   (wrapped true))))
(library
 (name goblint.library)
 (kind normal)
 (archives
  (byte library/goblint_library.cma)
  (native library/goblint_library.cmxa))
 (plugins
  (byte library/goblint_library.cma)
  (native library/goblint_library.cmxs))
 (native_archives library/goblint_library.a)
 (requires
  batteries.unthreaded
  goblint.common
  goblint.domain
  goblint.config
  goblint-cil
  ppx_deriving.runtime)
 (modes byte native)
 (modules
  (unwrapped
   (module
    (obj_name accessKind)
    (visibility public)
    (source (path AccessKind) (impl (path library/accessKind.ml))))
   (module
    (obj_name libraryDesc)
    (visibility public)
    (source (path LibraryDesc) (impl (path library/libraryDesc.ml))))
   (module
    (obj_name libraryDsl)
    (visibility public)
    (source
     (path LibraryDsl)
     (intf (path library/libraryDsl.mli))
     (impl (path library/libraryDsl.ml))))
   (module
    (obj_name libraryFunctions)
    (visibility public)
    (source
     (path LibraryFunctions)
     (intf (path library/libraryFunctions.mli))
     (impl (path library/libraryFunctions.ml)))))))
(library
 (name goblint.logs)
 (kind normal)
 (archives (byte logs/goblint_logs.cma) (native logs/goblint_logs.cmxa))
 (plugins (byte logs/goblint_logs.cma) (native logs/goblint_logs.cmxs))
 (native_archives logs/goblint_logs.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint-cil
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Goblint_logs)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_logs)
     (visibility public)
     (kind alias)
     (source (path Goblint_logs) (impl (path logs/goblint_logs.ml-gen))))
    (name Goblint_logs)
    (modules
     (module
      (obj_name goblint_logs__AnsiColors)
      (visibility public)
      (source (path AnsiColors) (impl (path logs/ansiColors.ml))))
     (module
      (obj_name goblint_logs__Logs)
      (visibility public)
      (source (path Logs) (impl (path logs/logs.ml))))))
   (wrapped true))))
(library
 (name goblint.sites)
 (kind normal)
 (virtual)
 (requires fpath)
 (main_module_name Goblint_sites)
 (modes byte native)
 (modules
  (singleton
   (obj_name goblint_sites)
   (visibility public)
   (kind virtual)
   (source (path Goblint_sites) (intf (path sites/goblint_sites.mli))))))
(library
 (name goblint.sites.dune)
 (kind normal)
 (archives
  (byte sites/dune/goblint_sites_dune.cma)
  (native sites/dune/goblint_sites_dune.cmxa))
 (plugins
  (byte sites/dune/goblint_sites_dune.cma)
  (native sites/dune/goblint_sites_dune.cmxs))
 (native_archives sites/dune/goblint_sites_dune.a)
 (requires goblint.sites dune-site)
 (implements goblint.sites)
 (main_module_name Goblint_sites)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_sites__goblint_sites_dune__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_sites__goblint_sites_dune__)
      (impl (path sites/dune/goblint_sites__goblint_sites_dune__.ml-gen))))
    (name Goblint_sites)
    (modules
     (module
      (obj_name goblint_sites__goblint_sites_dune__Dunesite)
      (visibility private)
      (source (path Dunesite) (impl (path sites/dune/Dunesite.ml))))
     (module
      (obj_name goblint_sites)
      (visibility public)
      (kind impl_vmodule)
      (source (path Goblint_sites) (impl (path sites/dune/goblint_sites.ml))))))
   (wrapped true))))
(library
 (name goblint.sites.js)
 (kind normal)
 (archives
  (byte sites/js/goblint_sites_js.cma)
  (native sites/js/goblint_sites_js.cmxa))
 (plugins
  (byte sites/js/goblint_sites_js.cma)
  (native sites/js/goblint_sites_js.cmxs))
 (native_archives sites/js/goblint_sites_js.a)
 (requires goblint.sites)
 (implements goblint.sites)
 (main_module_name Goblint_sites)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_sites__goblint_sites_js__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_sites__goblint_sites_js__)
      (impl (path sites/js/goblint_sites__goblint_sites_js__.ml-gen))))
    (name Goblint_sites)
    (modules
     (module
      (obj_name goblint_sites)
      (visibility public)
      (kind impl_vmodule)
      (source (path Goblint_sites) (impl (path sites/js/goblint_sites.ml))))))
   (wrapped true))))
(library
 (name goblint.solver)
 (kind normal)
 (archives
  (byte solver/goblint_solver.cma)
  (native solver/goblint_solver.cmxa))
 (plugins
  (byte solver/goblint_solver.cma)
  (native solver/goblint_solver.cmxs))
 (native_archives solver/goblint_solver.a)
 (requires
  batteries.unthreaded
  goblint.std
  goblint.logs
  goblint.common
  goblint.config
  goblint.domain
  goblint.constraint
  goblint.incremental
  goblint-cil
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Goblint_solver)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_solver__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_solver__)
      (impl (path solver/goblint_solver__.ml-gen))))
    (name Goblint_solver)
    (modules
     (module
      (obj_name goblint_solver__EffectWConEq)
      (visibility public)
      (source (path EffectWConEq) (impl (path solver/effectWConEq.ml))))
     (module
      (obj_name goblint_solver__Generic)
      (visibility public)
      (source (path Generic) (impl (path solver/generic.ml))))
     (module
      (obj_name goblint_solver)
      (visibility public)
      (source (path Goblint_solver) (impl (path solver/goblint_solver.ml))))
     (module
      (obj_name goblint_solver__LocalFixpoint)
      (visibility public)
      (source (path LocalFixpoint) (impl (path solver/localFixpoint.ml))))
     (module
      (obj_name goblint_solver__PostSolver)
      (visibility public)
      (source (path PostSolver) (impl (path solver/postSolver.ml))))
     (module
      (obj_name goblint_solver__SLR)
      (visibility public)
      (source (path SLR) (impl (path solver/sLR.ml))))
     (module
      (obj_name goblint_solver__SLRphased)
      (visibility public)
      (source (path SLRphased) (impl (path solver/sLRphased.ml))))
     (module
      (obj_name goblint_solver__SLRterm)
      (visibility public)
      (source (path SLRterm) (impl (path solver/sLRterm.ml))))
     (module
      (obj_name goblint_solver__Selector)
      (visibility public)
      (source (path Selector) (impl (path solver/selector.ml))))
     (module
      (obj_name goblint_solver__SolverBox)
      (visibility public)
      (source (path SolverBox) (impl (path solver/solverBox.ml))))
     (module
      (obj_name goblint_solver__SolverStats)
      (visibility public)
      (source (path SolverStats) (impl (path solver/solverStats.ml))))
     (module
      (obj_name goblint_solver__Td3)
      (visibility public)
      (source (path Td3) (impl (path solver/td3.ml))))
     (module
      (obj_name goblint_solver__TopDown)
      (visibility public)
      (source (path TopDown) (impl (path solver/topDown.ml))))
     (module
      (obj_name goblint_solver__TopDown_deprecated)
      (visibility public)
      (source
       (path TopDown_deprecated)
       (impl (path solver/topDown_deprecated.ml))))
     (module
      (obj_name goblint_solver__TopDown_space_cache_term)
      (visibility public)
      (source
       (path TopDown_space_cache_term)
       (impl (path solver/topDown_space_cache_term.ml))))
     (module
      (obj_name goblint_solver__TopDown_term)
      (visibility public)
      (source (path TopDown_term) (impl (path solver/topDown_term.ml))))
     (module
      (obj_name goblint_solver__Worklist)
      (visibility public)
      (source (path Worklist) (impl (path solver/worklist.ml))))))
   (wrapped true))))
(library
 (name goblint.std)
 (kind normal)
 (archives (byte std/goblint_std.cma) (native std/goblint_std.cmxa))
 (plugins (byte std/goblint_std.cma) (native std/goblint_std.cmxs))
 (native_archives std/goblint_std.a)
 (requires
  batteries.unthreaded
  zarith
  goblint-cil
  fpath
  yojson
  yaml
  qcheck-core
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime)
 (main_module_name Goblint_std)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_std__)
     (visibility public)
     (kind alias)
     (source (path Goblint_std__) (impl (path std/goblint_std__.ml-gen))))
    (name Goblint_std)
    (modules
     (module
      (obj_name goblint_std__GobArray)
      (visibility public)
      (source (path GobArray) (impl (path std/gobArray.ml))))
     (module
      (obj_name goblint_std__GobFpath)
      (visibility public)
      (source (path GobFpath) (impl (path std/gobFpath.ml))))
     (module
      (obj_name goblint_std__GobGc)
      (visibility public)
      (source (path GobGc) (impl (path std/gobGc.ml))))
     (module
      (obj_name goblint_std__GobHashtbl)
      (visibility public)
      (source (path GobHashtbl) (impl (path std/gobHashtbl.ml))))
     (module
      (obj_name goblint_std__GobList)
      (visibility public)
      (source (path GobList) (impl (path std/gobList.ml))))
     (module
      (obj_name goblint_std__GobOption)
      (visibility public)
      (source (path GobOption) (impl (path std/gobOption.ml))))
     (module
      (obj_name goblint_std__GobPretty)
      (visibility public)
      (source (path GobPretty) (impl (path std/gobPretty.ml))))
     (module
      (obj_name goblint_std__GobQCheck)
      (visibility public)
      (source (path GobQCheck) (impl (path std/gobQCheck.ml))))
     (module
      (obj_name goblint_std__GobRef)
      (visibility public)
      (source (path GobRef) (impl (path std/gobRef.ml))))
     (module
      (obj_name goblint_std__GobResult)
      (visibility public)
      (source (path GobResult) (impl (path std/gobResult.ml))))
     (module
      (obj_name goblint_std__GobSys)
      (visibility public)
      (source (path GobSys) (impl (path std/gobSys.ml))))
     (module
      (obj_name goblint_std__GobUnix)
      (visibility public)
      (source (path GobUnix) (impl (path std/gobUnix.ml))))
     (module
      (obj_name goblint_std__GobYaml)
      (visibility public)
      (source (path GobYaml) (impl (path std/gobYaml.ml))))
     (module
      (obj_name goblint_std__GobYojson)
      (visibility public)
      (source (path GobYojson) (impl (path std/gobYojson.ml))))
     (module
      (obj_name goblint_std__GobZ)
      (visibility public)
      (source (path GobZ) (impl (path std/gobZ.ml))))
     (module
      (obj_name goblint_std)
      (visibility public)
      (source (path Goblint_std) (impl (path std/goblint_std.ml))))))
   (wrapped true))))
(library
 (name goblint.timing)
 (kind normal)
 (archives
  (byte timing/goblint_timing.cma)
  (native timing/goblint_timing.cmxa))
 (plugins
  (byte timing/goblint_timing.cma)
  (native timing/goblint_timing.cmxs))
 (native_archives timing/goblint_timing.a)
 (requires catapult catapult-file)
 (main_module_name Goblint_timing)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name goblint_timing__)
     (visibility public)
     (kind alias)
     (source
      (path Goblint_timing__)
      (impl (path timing/goblint_timing__.ml-gen))))
    (name Goblint_timing)
    (modules
     (module
      (obj_name goblint_timing)
      (visibility public)
      (source
       (path Goblint_timing)
       (intf (path timing/goblint_timing.mli))
       (impl (path timing/goblint_timing.ml))))
     (module
      (obj_name goblint_timing__Goblint_timing_intf)
      (visibility public)
      (source
       (path Goblint_timing_intf)
       (impl (path timing/goblint_timing_intf.ml))))))
   (wrapped true))))
(library
 (name goblint.tracing)
 (kind normal)
 (archives
  (byte tracing/goblint_tracing.cma)
  (native tracing/goblint_tracing.cmxa))
 (plugins
  (byte tracing/goblint_tracing.cma)
  (native tracing/goblint_tracing.cmxs))
 (native_archives tracing/goblint_tracing.a)
 (requires goblint.std goblint.logs goblint-cil goblint.build-info)
 (main_module_name Goblint_tracing)
 (modes byte native)
 (modules
  (singleton
   (obj_name goblint_tracing)
   (visibility public)
   (source (path Goblint_tracing) (impl (path tracing/goblint_tracing.ml))))))
