Module Goblint_lib.C2poDomain

Domain for weakly relational pointer analysis C-2PO.

module M = Messages
module C2PODomain : sig ... end
module D : sig ... end