Up – goblint » Goblint_lib » SharedFunctions » AssertionModule » Arg

Parameter `AssertionModule.Arg`

val allow_global : bool