Up – goblint » Goblint_lib » LinearTwoVarEqualityDomain » D » Arg

Module `D.Arg`

val allow_global : bool