package goblint

  1. Overview
  2. Docs

Module Goblint_lib.VarEq

Symbolic expression equalities analysis (var_eq).

module Addr = ValueDomain.Addr
module Offs = ValueDomain.Offs
module Exp = CilType.Exp
module LF = LibraryFunctions
module Spec : sig ... end