package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `ContextUtil`

val has_attribute : string -> Cil.attribute list -> bool

val should_keep : 
  keepOption:string ->
  removeAttr:string ->
  keepAttr:string ->
  CilType.Fundec.t ->
  bool